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

../
coq-quickchick_2.1.0-1.debian.tar.xz               18-Mar-2025 12:33                2908
coq-quickchick_2.1.0-1.dsc                         18-Mar-2025 12:33                2288
coq-quickchick_2.1.0.orig.tar.gz                   18-Mar-2025 12:33              414544
libcoq-quickchick-dbgsym_2.0.5-1_arm64.deb         19-Feb-2025 23:50               79752
libcoq-quickchick-dbgsym_2.1.0-1_amd64.deb         29-Mar-2025 09:58               86468
libcoq-quickchick-dbgsym_2.1.0-1_ppc64el.deb       20-Mar-2025 06:12               73192
libcoq-quickchick-dbgsym_2.1.0-1_riscv64.deb       22-Mar-2025 09:55               76856
libcoq-quickchick_2.0.5-1_arm64.deb                19-Feb-2025 23:50             4238172
libcoq-quickchick_2.1.0-1_amd64.deb                29-Mar-2025 09:58             4253724
libcoq-quickchick_2.1.0-1_ppc64el.deb              20-Mar-2025 06:12             4267896
libcoq-quickchick_2.1.0-1_riscv64.deb              22-Mar-2025 09:55             4417212
quickchick-dbgsym_2.0.5-1_arm64.deb                19-Feb-2025 23:50              162372
quickchick-dbgsym_2.1.0-1_amd64.deb                29-Mar-2025 09:58              163920
quickchick-dbgsym_2.1.0-1_ppc64el.deb              20-Mar-2025 06:12              145520
quickchick-dbgsym_2.1.0-1_riscv64.deb              22-Mar-2025 09:55              157300
quickchick_2.0.5-1_arm64.deb                       19-Feb-2025 23:50              499700
quickchick_2.1.0-1_amd64.deb                       29-Mar-2025 09:58              492068
quickchick_2.1.0-1_ppc64el.deb                     20-Mar-2025 06:12              513540
quickchick_2.1.0-1_riscv64.deb                     22-Mar-2025 09:55              499744