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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]coq-quickchick_2.0.2-1build5.debian.tar.xz08-Apr-2024 03:57 3.2K 
[TXT]coq-quickchick_2.0.2-1build5.dsc08-Apr-2024 03:57 2.3K 
[   ]coq-quickchick_2.0.2.orig.tar.gz20-Jan-2024 18:35 406K 
[   ]coq-quickchick_2.0.3-3build5.debian.tar.xz17-Sep-2024 12:56 2.9K 
[TXT]coq-quickchick_2.0.3-3build5.dsc17-Sep-2024 12:56 2.2K 
[   ]coq-quickchick_2.0.3.orig.tar.gz02-May-2024 07:53 402K 
[   ]coq-quickchick_2.0.5-1build6.debian.tar.xz19-Feb-2025 02:52 3.0K 
[TXT]coq-quickchick_2.0.5-1build6.dsc19-Feb-2025 02:52 2.2K 
[   ]coq-quickchick_2.0.5.orig.tar.gz18-Dec-2024 18:41 403K 
[   ]libcoq-quickchick_2.0.2-1build5_amd64.deb08-Apr-2024 10:36 1.9M 
[   ]libcoq-quickchick_2.0.3-3build5_amd64.deb19-Sep-2024 19:39 4.3M 
[   ]libcoq-quickchick_2.0.5-1build6_amd64.deb19-Feb-2025 23:20 4.3M 
[   ]quickchick_2.0.2-1build5_amd64.deb08-Apr-2024 10:36 65K 
[   ]quickchick_2.0.3-3build5_amd64.deb19-Sep-2024 19:39 517K 
[   ]quickchick_2.0.5-1build6_amd64.deb19-Feb-2025 23:20 554K 

Apache/2.2.15 (CentOS) Server at ftp.usf.edu Port 80