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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]coq-mtac2_1.4+8.19-2build3.dsc08-Sep-2024 07:04 2.0K 
[TXT]coq-mtac2_1.4+8.20-1build1.dsc24-Nov-2024 20:42 2.0K 
[TXT]coq-mtac2_1.4+8.18-1build3.dsc08-Apr-2024 19:57 2.1K 
[   ]coq-mtac2_1.4+8.18-1build3.debian.tar.xz08-Apr-2024 19:57 2.9K 
[   ]coq-mtac2_1.4+8.20-1build1.debian.tar.xz24-Nov-2024 20:42 2.9K 
[   ]coq-mtac2_1.4+8.19-2build3.debian.tar.xz08-Sep-2024 07:04 2.9K 
[   ]coq-mtac2_1.4+8.18.orig.tar.gz24-Dec-2023 06:16 246K 
[   ]coq-mtac2_1.4+8.19.orig.tar.gz02-May-2024 23:53 246K 
[   ]coq-mtac2_1.4+8.20.orig.tar.gz24-Nov-2024 13:12 246K 
[   ]libcoq-mtac2_1.4+8.18-1build3_amd64.deb08-Apr-2024 22:59 865K 
[   ]libcoq-mtac2_1.4+8.20-1build1_amd64.deb24-Nov-2024 20:42 872K 
[   ]libcoq-mtac2_1.4+8.19-2build3_amd64.deb08-Sep-2024 07:05 887K 

Apache/2.2.15 (Red Hat) Server at ucmirror.canterbury.ac.nz Port 80