Index of /mirrors/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+b6_amd64.deb             13-Oct-2024 11:49             4272068
libcoq-quickchick_2.0.3-3+b6_arm64.deb             13-Oct-2024 12:25             4284196
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+b6_amd64.deb                    13-Oct-2024 11:49              482968
quickchick_2.0.3-3+b6_arm64.deb                    13-Oct-2024 12:25              523936