Index of /kali/pool/main/c/coq-quickchick/
../
coq-quickchick_2.0-2.debian.tar.xz 12-Jul-2023 18:06 2900
coq-quickchick_2.0-2.dsc 12-Jul-2023 18:06 2033
coq-quickchick_2.0.orig.tar.gz 14-Jun-2023 22:57 400K
libcoq-quickchick_1.6.3-1+b1_amd64.deb 27-Jul-2022 09:59 2M
libcoq-quickchick_1.6.4-2+b1_amd64.deb 29-Sep-2022 22:27 2M
libcoq-quickchick_1.6.4-2+b1_arm64.deb 29-Sep-2022 22:27 2M
libcoq-quickchick_1.6.4-2+b1_armhf.deb 29-Sep-2022 22:27 2M
libcoq-quickchick_1.6.4-2+b1_i386.deb 29-Sep-2022 22:17 1M
libcoq-quickchick_1.6.4-2+b2_amd64.deb 30-Nov-2022 13:43 2M
libcoq-quickchick_1.6.4-2+b2_arm64.deb 30-Nov-2022 13:27 2M
libcoq-quickchick_1.6.4-2+b2_armhf.deb 30-Nov-2022 12:42 2M
libcoq-quickchick_1.6.4-2+b2_i386.deb 30-Nov-2022 11:06 1M
libcoq-quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 15:11 2M
libcoq-quickchick_1.6.4-3+b1_arm64.deb 14-Feb-2023 15:11 2M
libcoq-quickchick_1.6.4-3+b1_armhf.deb 14-Feb-2023 15:11 2M
libcoq-quickchick_1.6.4-3+b1_i386.deb 14-Feb-2023 15:16 1M
libcoq-quickchick_2.0-2+b1_amd64.deb 23-Jul-2023 21:59 2M
libcoq-quickchick_2.0-2+b1_arm64.deb 23-Jul-2023 23:26 2M
libcoq-quickchick_2.0-2+b1_armhf.deb 24-Jul-2023 00:40 2M
libcoq-quickchick_2.0-2+b1_i386.deb 23-Jul-2023 22:56 2M
libcoq-quickchick_2.0-2+b2_amd64.deb 22-Sep-2023 22:54 2M
libcoq-quickchick_2.0-2+b2_arm64.deb 22-Sep-2023 22:59 2M
libcoq-quickchick_2.0-2+b2_armhf.deb 22-Sep-2023 22:43 2M
libcoq-quickchick_2.0-2+b2_i386.deb 22-Sep-2023 22:43 2M
libcoq-quickchick_2.0-2_amd64.deb 12-Jul-2023 19:28 2M
libcoq-quickchick_2.0-2_arm64.deb 12-Jul-2023 20:44 2M
libcoq-quickchick_2.0-2_armhf.deb 12-Jul-2023 19:28 2M
libcoq-quickchick_2.0-2_i386.deb 12-Jul-2023 19:13 2M
quickchick_1.6.3-1+b1_amd64.deb 27-Jul-2022 09:59 54K
quickchick_1.6.4-2+b1_amd64.deb 29-Sep-2022 22:27 54K
quickchick_1.6.4-2+b1_arm64.deb 29-Sep-2022 22:27 54K
quickchick_1.6.4-2+b1_armhf.deb 29-Sep-2022 22:27 54K
quickchick_1.6.4-2+b1_i386.deb 29-Sep-2022 22:17 54K
quickchick_1.6.4-2+b2_amd64.deb 30-Nov-2022 13:43 54K
quickchick_1.6.4-2+b2_arm64.deb 30-Nov-2022 13:27 54K
quickchick_1.6.4-2+b2_armhf.deb 30-Nov-2022 12:42 54K
quickchick_1.6.4-2+b2_i386.deb 30-Nov-2022 11:06 54K
quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 15:11 54K
quickchick_1.6.4-3+b1_arm64.deb 14-Feb-2023 15:11 54K
quickchick_1.6.4-3+b1_armhf.deb 14-Feb-2023 15:11 54K
quickchick_1.6.4-3+b1_i386.deb 14-Feb-2023 15:16 54K
quickchick_2.0-2+b1_amd64.deb 23-Jul-2023 21:59 55K
quickchick_2.0-2+b1_arm64.deb 23-Jul-2023 23:26 55K
quickchick_2.0-2+b1_armhf.deb 24-Jul-2023 00:40 55K
quickchick_2.0-2+b1_i386.deb 23-Jul-2023 22:56 55K
quickchick_2.0-2+b2_amd64.deb 22-Sep-2023 22:54 57K
quickchick_2.0-2+b2_arm64.deb 22-Sep-2023 22:59 57K
quickchick_2.0-2+b2_armhf.deb 22-Sep-2023 22:43 57K
quickchick_2.0-2+b2_i386.deb 22-Sep-2023 22:43 57K
quickchick_2.0-2_amd64.deb 12-Jul-2023 19:28 55K
quickchick_2.0-2_arm64.deb 12-Jul-2023 20:44 55K
quickchick_2.0-2_armhf.deb 12-Jul-2023 19:28 55K
quickchick_2.0-2_i386.deb 12-Jul-2023 19:13 55K