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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]coq-quickchick_2.0.2-1.debian.tar.xz2024-01-20 13:21 3.0K
[TXT]coq-quickchick_2.0.2-1.dsc2024-01-20 13:21 2.2K
[ ]coq-quickchick_2.0.2.orig.tar.gz2024-01-20 13:21 406K
[ ]libcoq-quickchick_2.0.2-1+b1_amd64.deb2024-02-16 09:04 1.6M
[ ]libcoq-quickchick_2.0.2-1+b1_arm64.deb2024-02-16 11:36 1.7M
[ ]libcoq-quickchick_2.0.2-1+b1_armhf.deb2024-02-16 08:09 1.6M
[ ]libcoq-quickchick_2.0.2-1+b1_i386.deb2024-02-16 09:04 1.6M
[ ]libcoq-quickchick_2.0.2-1+b2_armhf.deb2024-03-31 18:29 1.6M
[ ]libcoq-quickchick_2.0.2-1_amd64.deb2024-01-20 14:28 1.6M
[ ]libcoq-quickchick_2.0.2-1_arm64.deb2024-01-20 14:33 1.7M
[ ]libcoq-quickchick_2.0.2-1_armhf.deb2024-01-20 14:33 1.6M
[ ]libcoq-quickchick_2.0.2-1_i386.deb2024-01-20 14:23 1.6M
[ ]quickchick_2.0.2-1+b1_amd64.deb2024-02-16 09:04 57K
[ ]quickchick_2.0.2-1+b1_arm64.deb2024-02-16 11:36 57K
[ ]quickchick_2.0.2-1+b1_armhf.deb2024-02-16 08:09 57K
[ ]quickchick_2.0.2-1+b1_i386.deb2024-02-16 09:04 57K
[ ]quickchick_2.0.2-1+b2_armhf.deb2024-03-31 18:29 57K
[ ]quickchick_2.0.2-1_amd64.deb2024-01-20 14:28 57K
[ ]quickchick_2.0.2-1_arm64.deb2024-01-20 14:33 57K
[ ]quickchick_2.0.2-1_armhf.deb2024-01-20 14:33 57K
[ ]quickchick_2.0.2-1_i386.deb2024-01-20 14:23 57K