Index of /debian/pool/main/c/coqprime/

../
coqprime-tools_8.15-1+b2_arm64.deb                 30-Nov-2022 00:45              133952
coqprime-tools_8.15-1+b2_armhf.deb                 30-Nov-2022 00:29              132528
coqprime-tools_8.15-1+b2_i386.deb                  30-Nov-2022 00:55              136756
coqprime-tools_8.15-1+b2_ppc64el.deb               30-Nov-2022 02:56              136212
coqprime-tools_8.15-1+b2_s390x.deb                 30-Nov-2022 04:53              132488
coqprime-tools_8.15-1+b3_amd64.deb                 30-Nov-2022 00:14              135412
coqprime_8.15-1.debian.tar.xz                      15-Jul-2022 08:46                3512
coqprime_8.15-1.dsc                                15-Jul-2022 08:46                2144
coqprime_8.15.orig.tar.gz                          15-Jul-2022 08:46              987167
libcoq-coqprime_8.15-1+b2_arm64.deb                30-Nov-2022 00:45             1652524
libcoq-coqprime_8.15-1+b2_armhf.deb                30-Nov-2022 00:29             1652144
libcoq-coqprime_8.15-1+b2_i386.deb                 30-Nov-2022 00:55             1652184
libcoq-coqprime_8.15-1+b2_ppc64el.deb              30-Nov-2022 02:56             1652400
libcoq-coqprime_8.15-1+b2_s390x.deb                30-Nov-2022 04:53             1652564
libcoq-coqprime_8.15-1+b3_amd64.deb                30-Nov-2022 00:14             1652564