Index of /ubuntu-ports/pool/universe/c/coq-float/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-float_8.10.0-1.debian.tar.xz2020-Mar-19 16:13:183.2Kapplication/x-xz
coq-float_8.10.0-1.dsc2020-Mar-19 16:13:171.9Kapplication/octet-stream
coq-float_8.10.0.orig.tar.gz2020-Mar-19 16:13:1896.8Kapplication/gzip
coq-float_8.4-3.debian.tar.xz2014-Jan-21 13:18:343.2Kapplication/x-xz
coq-float_8.4-3.dsc2014-Jan-21 13:18:341.9Kapplication/octet-stream
coq-float_8.4-5build1.debian.tar.xz2015-Nov-04 23:29:063.3Kapplication/x-xz
coq-float_8.4-5build1.dsc2015-Nov-04 23:29:061.9Kapplication/octet-stream
coq-float_8.4.orig.tar.gz2013-May-09 13:34:06344.0Kapplication/gzip
libfloat-coq_8.10.0-1_all.deb2020-Mar-19 16:23:151.1Mapplication/vnd.debian.binary-package
libfloat-coq_8.4-3_all.deb2014-Jan-21 13:53:5310.9Mapplication/vnd.debian.binary-package
libfloat-coq_8.4-5build1_all.deb2015-Nov-04 23:56:1910.9Mapplication/vnd.debian.binary-package
lighttpd/1.4.35