Index of /ubuntu/ubuntu/pool/universe/c/coqprime

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]coqprime-tools_8.15-1_amd64.deb18-Jul-2022 23:08 176K 
[   ]coqprime-tools_8.15-2_amd64.deb26-Jan-2023 14:29 176K 
[   ]coqprime_8.15-1.debian.tar.xz18-Jul-2022 21:48 3.4K 
[TXT]coqprime_8.15-1.dsc18-Jul-2022 21:48 2.1K 
[   ]coqprime_8.15-2.debian.tar.xz26-Jan-2023 14:29 3.5K 
[TXT]coqprime_8.15-2.dsc26-Jan-2023 14:29 2.1K 
[   ]coqprime_8.15.orig.tar.gz18-Jul-2022 21:48 964K 
[   ]libcoq-coqprime_8.15-1_amd64.deb18-Jul-2022 23:08 1.8M 
[   ]libcoq-coqprime_8.15-2_amd64.deb26-Jan-2023 14:29 1.8M 

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