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

../
coq-quickchick_2.0.3-2.debian.tar.xz               30-Apr-2024 21:09                2792
coq-quickchick_2.0.3-2.dsc                         30-Apr-2024 21:09                2275
coq-quickchick_2.0.3.orig.tar.gz                   30-Apr-2024 21:09              411625
libcoq-quickchick_2.0.3-2+b1_armhf.deb             15-Jun-2024 13:17             3253796
libcoq-quickchick_2.0.3-2+b2_amd64.deb             15-Jun-2024 13:06             3257516
libcoq-quickchick_2.0.3-2+b2_arm64.deb             15-Jun-2024 15:18             3267008
libcoq-quickchick_2.0.3-2+b2_i386.deb              15-Jun-2024 13:07             3230048
quickchick_2.0.3-2+b1_armhf.deb                    15-Jun-2024 13:17              385876
quickchick_2.0.3-2+b2_amd64.deb                    15-Jun-2024 13:06              411352
quickchick_2.0.3-2+b2_arm64.deb                    15-Jun-2024 15:18              456436
quickchick_2.0.3-2+b2_i386.deb                     15-Jun-2024 13:07              403100