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

../
coq-quickchick_2.0.2-1.debian.tar.xz               20-Jan-2024 19:21                3048
coq-quickchick_2.0.2-1.dsc                         20-Jan-2024 19:21                2275
coq-quickchick_2.0.2.orig.tar.gz                   20-Jan-2024 19:21              415619
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.2-1+b1_amd64.deb             16-Feb-2024 15:04             1708436
libcoq-quickchick_2.0.2-1+b1_arm64.deb             16-Feb-2024 17:36             1736236
libcoq-quickchick_2.0.2-1+b1_armhf.deb             16-Feb-2024 14:09             1702980
libcoq-quickchick_2.0.2-1+b1_i386.deb              16-Feb-2024 15:04             1685820
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.2-1+b1_amd64.deb                    16-Feb-2024 15:04               58776
quickchick_2.0.2-1+b1_arm64.deb                    16-Feb-2024 17:36               58732
quickchick_2.0.2-1+b1_armhf.deb                    16-Feb-2024 14:09               58712
quickchick_2.0.2-1+b1_i386.deb                     16-Feb-2024 15:04               58760
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