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

NameLast ModifiedSizeType
../ -  Directory
libcoq-mathcomp-analysis_0.3.13-1_amd64.deb2022-Feb-18 21:44:016.1Mapplication/vnd.debian.binary-package
libcoq-mathcomp-analysis_0.5.3-1build1_amd64.deb2022-Aug-30 16:18:5611.3Mapplication/vnd.debian.binary-package
mathcomp-analysis_0.3.13-1.debian.tar.xz2022-Feb-12 23:04:238.0Kapplication/x-xz
mathcomp-analysis_0.3.13-1.dsc2022-Feb-12 23:04:232.1Ktext/prs.lines.tag
mathcomp-analysis_0.3.13.orig.tar.gz2022-Feb-12 23:04:23501.1Kapplication/x-gtar-compressed
mathcomp-analysis_0.5.3-1build1.debian.tar.xz2022-Aug-30 16:18:548.5Kapplication/x-xz
mathcomp-analysis_0.5.3-1build1.dsc2022-Aug-30 16:18:542.3Ktext/prs.lines.tag
mathcomp-analysis_0.5.3.orig.tar.gz2022-Aug-12 11:03:52675.4Kapplication/x-gtar-compressed
lighttpd/1.4.69