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-3.debian.tar.xz               04-Aug-2024 06:22                2856
coq-quickchick_2.0.3-3.dsc                         04-Aug-2024 06:22                2049
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
libcoq-quickchick_2.0.3-3+b4_amd64.deb             31-Aug-2024 05:16             4273124
libcoq-quickchick_2.0.3-3+b4_arm64.deb             31-Aug-2024 05:16             4285136
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
quickchick_2.0.3-3+b4_amd64.deb                    31-Aug-2024 05:16              482652
quickchick_2.0.3-3+b4_arm64.deb                    31-Aug-2024 05:16              525160