Index of ftp://ftp.is.FreeBSD.org/pub/ubuntu/pool/universe/m/mathcomp
Parent Directory
libmathcomp-coq_1.5-4build1_all.deb
21.69Mb
November 12 2015
[
find mirrors
]
mathcomp_1.5-4build1.debian.tar.xz
9.33Kb
November 12 2015
[
find mirrors
]
mathcomp_1.5-4build1.dsc
1.98Kb
November 12 2015
[
find mirrors
]
mathcomp_1.5.orig.tar.gz
1019.37Kb
April 26 2014
[
find mirrors
]
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
libmathcomp-coq_1.5-4build1_all.deb mathcomp_1.5-4build1.debian.tar.xz mathcomp_1.5-4build1.dsc![[ GZ]](/icons/compressed.gif){kind=icon}
mathcomp_1.5.orig.tar.gz