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

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