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    402K
libcoq-quickchick_2.0.3-2+b1_armhf.deb             15-Jun-2024 13:17      3M
libcoq-quickchick_2.0.3-2+b2_amd64.deb             15-Jun-2024 13:06      3M
libcoq-quickchick_2.0.3-2+b2_arm64.deb             15-Jun-2024 15:18      3M
libcoq-quickchick_2.0.3-2+b2_i386.deb              15-Jun-2024 13:07      3M
libcoq-quickchick_2.0.3-3+b4_amd64.deb             31-Aug-2024 05:16      4M
libcoq-quickchick_2.0.3-3+b4_arm64.deb             31-Aug-2024 05:16      4M
libcoq-quickchick_2.0.3-3+b5_amd64.deb             17-Sep-2024 11:38      4M
libcoq-quickchick_2.0.3-3+b5_arm64.deb             17-Sep-2024 11:38      4M
quickchick_2.0.3-2+b1_armhf.deb                    15-Jun-2024 13:17    377K
quickchick_2.0.3-2+b2_amd64.deb                    15-Jun-2024 13:06    402K
quickchick_2.0.3-2+b2_arm64.deb                    15-Jun-2024 15:18    446K
quickchick_2.0.3-2+b2_i386.deb                     15-Jun-2024 13:07    394K
quickchick_2.0.3-3+b4_amd64.deb                    31-Aug-2024 05:16    471K
quickchick_2.0.3-3+b4_arm64.deb                    31-Aug-2024 05:16    513K
quickchick_2.0.3-3+b5_amd64.deb                    17-Sep-2024 11:38    470K
quickchick_2.0.3-3+b5_arm64.deb                    17-Sep-2024 11:38    513K