Index of /debian/pool/main/c/coq-quickchick

Icon  Name                                     Last modified      Size  
[PARENTDIR] Parent Directory - [   ] coq-quickchick_1.6.4-2.dsc 2022-09-06 11:09 2.2K [   ] coq-quickchick_1.6.4-2.debian.tar.xz 2022-09-06 11:09 2.6K [   ] quickchick_1.6.4-2+b2_i386.deb 2022-11-30 03:06 54K [   ] quickchick_1.6.4-2+b2_ppc64el.deb 2022-11-30 05:43 54K [   ] quickchick_1.6.4-2+b2_amd64.deb 2022-11-30 05:43 54K [   ] quickchick_1.6.4-2+b2_s390x.deb 2022-11-30 12:20 54K [   ] quickchick_1.6.4-2+b2_arm64.deb 2022-11-30 05:27 54K [   ] quickchick_1.6.4-2+b2_armhf.deb 2022-11-30 04:42 54K [   ] coq-quickchick_1.6.4.orig.tar.gz 2022-08-15 08:38 379K [   ] libcoq-quickchick_1.6.4-2+b2_i386.deb 2022-11-30 03:06 1.5M [   ] libcoq-quickchick_1.6.4-2+b2_armhf.deb 2022-11-30 04:42 1.5M [   ] libcoq-quickchick_1.6.4-2+b2_amd64.deb 2022-11-30 05:43 1.5M [   ] libcoq-quickchick_1.6.4-2+b2_s390x.deb 2022-11-30 12:20 1.5M [   ] libcoq-quickchick_1.6.4-2+b2_ppc64el.deb 2022-11-30 05:43 1.5M [   ] libcoq-quickchick_1.6.4-2+b2_arm64.deb 2022-11-30 05:27 1.5M
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 80