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

Icon  Name                                Last modified      Size  Description
[DIR] Parent Directory                                         -   
[   ] mathcomp_1.5.orig.tar.gz            26-Apr-2014 08:10  1.0M  
[   ] mathcomp_1.5-4build1.debian.tar.xz  12-Nov-2015 08:09  9.3K  
[TXT] mathcomp_1.5-4build1.dsc            12-Nov-2015 08:09  2.0K  
[   ] libmathcomp-coq_1.5-4build1_all.deb 12-Nov-2015 09:04   22M
Apache Server at 209.208.0.134 Port 80