GNU/Linux mirrors

File Name ↓	File Size ↓	Date ↓
libmathcomp-coq_1.5-3_all.deb	21.7 MiB	2014-Aug-04 09:45
mathcomp_1.5-3.debian.tar.xz	9.2 KiB	2014-Aug-04 09:45
mathcomp_1.5-3.dsc	2.0 KiB	2014-Aug-04 09:45
mathcomp_1.5.orig.tar.gz	1019.4 KiB	2014-Mar-13 23:28