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

Icon  Name                                  Last modified      Size  
[PARENTDIR] Parent Directory - [   ] coq-quickchick_1.6.4-2.debian.tar.xz 2022-09-06 11:09 2.6K [   ] coq-quickchick_1.6.4-2.dsc 2022-09-06 11:09 2.2K [   ] coq-quickchick_1.6.4.orig.tar.gz 2022-08-15 08:38 379K [   ] libcoq-quickchick_1.6.4-2_amd64.deb 2022-09-07 10:11 1.5M [   ] libcoq-quickchick_1.6.4-2_arm64.deb 2022-09-07 11:11 1.5M [   ] libcoq-quickchick_1.6.4-2_armhf.deb 2022-09-07 11:11 1.5M [   ] libcoq-quickchick_1.6.4-2_i386.deb 2022-09-07 10:11 1.5M [   ] libcoq-quickchick_1.6.4-2_ppc64el.deb 2022-09-07 11:11 1.5M [   ] libcoq-quickchick_1.6.4-2_s390x.deb 2022-09-07 10:31 1.5M [   ] quickchick_1.6.4-2_amd64.deb 2022-09-07 10:11 54K [   ] quickchick_1.6.4-2_arm64.deb 2022-09-07 11:11 54K [   ] quickchick_1.6.4-2_armhf.deb 2022-09-07 11:11 54K [   ] quickchick_1.6.4-2_i386.deb 2022-09-07 10:11 54K [   ] quickchick_1.6.4-2_ppc64el.deb 2022-09-07 11:11 54K [   ] quickchick_1.6.4-2_s390x.deb 2022-09-07 10:31 54K
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 80