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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-quickchick_1.6.4-3.debian.tar.xz 27242023-Jan-27 06:18
coq-quickchick_1.6.4-3.dsc 22612023-Jan-27 06:18
coq-quickchick_1.6.4.orig.tar.gz 3884612022-Aug-15 06:38
libcoq-quickchick_1.6.4-3_amd64.deb 15832442023-Jan-27 07:04
libcoq-quickchick_1.6.4-3_arm64.deb 16047442023-Jan-27 06:59
libcoq-quickchick_1.6.4-3_armhf.deb 15798922023-Jan-27 06:59
libcoq-quickchick_1.6.4-3_i386.deb 15665162023-Jan-27 07:14
libcoq-quickchick_1.6.4-3_ppc64el.deb 15877642023-Jan-27 22:58
libcoq-quickchick_1.6.4-3_s390x.deb 15869162023-Jan-27 07:34
quickchick_1.6.4-3_amd64.deb 553442023-Jan-27 07:04
quickchick_1.6.4-3_arm64.deb 553442023-Jan-27 06:59
quickchick_1.6.4-3_armhf.deb 553442023-Jan-27 06:59
quickchick_1.6.4-3_i386.deb 553442023-Jan-27 07:14
quickchick_1.6.4-3_ppc64el.deb 553482023-Jan-27 22:58
quickchick_1.6.4-3_s390x.deb 553442023-Jan-27 07:34