Index of /ubuntu/pool/universe/m/mathcomp/

NameLast ModifiedSizeType
../ -  Directory
libmathcomp-coq_1.5-4build1_all.deb2015-Nov-12 15:04:2621.7Mapplication/vnd.debian.binary-package
mathcomp_1.5-4build1.debian.tar.xz2015-Nov-12 14:09:379.3Kapplication/x-xz
mathcomp_1.5-4build1.dsc2015-Nov-12 14:09:371.9Ktext/prs.lines.tag
mathcomp_1.5.orig.tar.gz2014-Apr-26 14:10:330.9Mapplication/x-gtar-compressed
lighttpd/1.4.59