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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coq-quickchick_1.6.4-1.debian.tar.xz2022-08-15 19:39 2.6K 
[TXT]coq-quickchick_1.6.4-1.dsc2022-08-15 19:39 2.2K 
[   ]coq-quickchick_1.6.4-2build1.debian.tar.xz2022-11-26 02:40 2.7K 
[TXT]coq-quickchick_1.6.4-2build1.dsc2022-11-26 02:40 2.2K 
[   ]coq-quickchick_1.6.4.orig.tar.gz2022-08-15 19:39 379K 
[   ]libcoq-quickchick_1.6.4-1_amd64.deb2022-08-22 14:54 1.7M 
[   ]libcoq-quickchick_1.6.4-2build1_amd64.deb2022-11-26 02:41 1.7M 
[   ]quickchick_1.6.4-1_amd64.deb2022-08-22 14:54 62K 
[   ]quickchick_1.6.4-2build1_amd64.deb2022-11-26 02:41 62K