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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
quickchick_1.6.4-2+b1_s390x.deb 556162022-Sep-29 13:43
quickchick_1.6.4-2+b1_ppc64el.deb 555762022-Sep-29 13:27
quickchick_1.6.4-2+b1_i386.deb 555842022-Sep-29 13:17
quickchick_1.6.4-2+b1_armhf.deb 555882022-Sep-29 13:27
quickchick_1.6.4-2+b1_arm64.deb 555722022-Sep-29 13:27
quickchick_1.6.4-2+b1_amd64.deb 556042022-Sep-29 13:27
libcoq-quickchick_1.6.4-2+b1_s390x.deb 15868202022-Sep-29 13:43
libcoq-quickchick_1.6.4-2+b1_ppc64el.deb 15883082022-Sep-29 13:27
libcoq-quickchick_1.6.4-2+b1_i386.deb 15670442022-Sep-29 13:17
libcoq-quickchick_1.6.4-2+b1_armhf.deb 15797122022-Sep-29 13:27
libcoq-quickchick_1.6.4-2+b1_arm64.deb 16057602022-Sep-29 13:27
libcoq-quickchick_1.6.4-2+b1_amd64.deb 15838362022-Sep-29 13:27
coq-quickchick_1.6.4.orig.tar.gz 3884612022-Aug-15 06:38
coq-quickchick_1.6.4-2.dsc 22562022-Sep-06 09:09
coq-quickchick_1.6.4-2.debian.tar.xz 26722022-Sep-06 09:09