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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]coq-quickchick_2.0.3-3build5.dsc18-Sep-2024 04:56 2.2K 
[TXT]coq-quickchick_2.0.5-1build1.dsc21-Dec-2024 03:16 2.2K 
[TXT]coq-quickchick_2.0.2-1build5.dsc08-Apr-2024 19:57 2.3K 
[   ]coq-quickchick_2.0.5-1build1.debian.tar.xz21-Dec-2024 03:16 2.9K 
[   ]coq-quickchick_2.0.3-3build5.debian.tar.xz18-Sep-2024 04:56 2.9K 
[   ]coq-quickchick_2.0.2-1build5.debian.tar.xz08-Apr-2024 19:57 3.2K 
[   ]quickchick_2.0.2-1build5_amd64.deb09-Apr-2024 02:36 65K 
[   ]coq-quickchick_2.0.3.orig.tar.gz02-May-2024 23:53 402K 
[   ]coq-quickchick_2.0.5.orig.tar.gz19-Dec-2024 12:41 403K 
[   ]coq-quickchick_2.0.2.orig.tar.gz21-Jan-2024 12:35 406K 
[   ]quickchick_2.0.3-3build5_amd64.deb20-Sep-2024 11:39 517K 
[   ]quickchick_2.0.5-1build1_amd64.deb21-Dec-2024 03:16 517K 
[   ]libcoq-quickchick_2.0.2-1build5_amd64.deb09-Apr-2024 02:36 1.9M 
[   ]libcoq-quickchick_2.0.5-1build1_amd64.deb21-Dec-2024 03:16 4.3M 
[   ]libcoq-quickchick_2.0.3-3build5_amd64.deb20-Sep-2024 11:39 4.3M 

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