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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]coq-quickchick_1.6.4-1.debian.tar.xz15-Aug-2022 09:39 2.6K 
[TXT]coq-quickchick_1.6.4-1.dsc15-Aug-2022 09:39 2.2K 
[   ]coq-quickchick_1.6.4-3.debian.tar.xz27-Jan-2023 08:55 2.7K 
[TXT]coq-quickchick_1.6.4-3.dsc27-Jan-2023 08:55 2.2K 
[   ]coq-quickchick_1.6.4.orig.tar.gz15-Aug-2022 09:39 379K 
[   ]libcoq-quickchick_1.6.4-1_amd64.deb22-Aug-2022 04:54 1.7M 
[   ]libcoq-quickchick_1.6.4-3_amd64.deb27-Jan-2023 08:55 1.7M 
[   ]quickchick_1.6.4-1_amd64.deb22-Aug-2022 04:54 62K 
[   ]quickchick_1.6.4-3_amd64.deb27-Jan-2023 08:55 62K 

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