Index of /ubuntu/ubuntu/pool/universe/c/coq-mtac2

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]coq-mtac2_1.4+8.15-3.debian.tar.xz07-Aug-2022 09:14 2.3K 
[TXT]coq-mtac2_1.4+8.15-3.dsc07-Aug-2022 09:14 2.0K 
[   ]coq-mtac2_1.4+8.15.orig.tar.gz20-Jul-2022 21:19 245K 
[   ]coq-mtac2_1.4+8.16-1build2.debian.tar.xz03-Dec-2022 09:29 2.5K 
[TXT]coq-mtac2_1.4+8.16-1build2.dsc03-Dec-2022 09:29 2.0K 
[   ]coq-mtac2_1.4+8.16-2.debian.tar.xz26-Jan-2023 14:29 2.4K 
[TXT]coq-mtac2_1.4+8.16-2.dsc26-Jan-2023 14:29 2.1K 
[   ]coq-mtac2_1.4+8.16.orig.tar.gz06-Nov-2022 00:17 245K 
[   ]libcoq-mtac2_1.4+8.15-3_amd64.deb07-Aug-2022 09:33 838K 
[   ]libcoq-mtac2_1.4+8.16-1build2_amd64.deb03-Dec-2022 09:29 831K 
[   ]libcoq-mtac2_1.4+8.16-2_amd64.deb26-Jan-2023 14:29 831K 

Apache/2.2.15 (Scientific Linux) Server at gl.archive.ubuntu.com Port 80