Index of /debian/pool/main/c/coq-float/

Filename	Modification time	Size
coq-float_8.4-4.debian.tar.xz	2014-07-30 10:21 CEST	3364 B
coq-float_8.4-4.dsc	2014-07-30 10:21 CEST	2003 B
coq-float_8.4.orig.tar.gz	2013-05-09 00:56 CEST	344 KiB
coq-float_8.10.0-1.debian.tar.xz	2020-03-16 11:40 CET	3360 B
coq-float_8.10.0-1.dsc	2020-03-16 11:40 CET	1947 B
coq-float_8.10.0.orig.tar.gz	2020-03-16 11:40 CET	97 KiB
libfloat-coq_8.4-4_all.deb	2014-07-30 10:21 CEST	11 MiB
libfloat-coq_8.10.0-1_all.deb	2020-03-16 12:05 CET	1196 KiB