Index of /ubuntu/pool/universe/c/coqprime/

../
coqprime-tools_8.15-1_amd64.deb                    19-Jul-2022 01:08              179994
coqprime-tools_8.15-2build2_amd64.deb              17-Feb-2023 07:29              180024
coqprime-tools_8.17-1build1_amd64.deb              26-Jul-2023 07:55              176548
coqprime_8.15-1.debian.tar.xz                      18-Jul-2022 23:48                3512
coqprime_8.15-1.dsc                                18-Jul-2022 23:48                2144
coqprime_8.15-2build2.debian.tar.xz                17-Feb-2023 07:29                3660
coqprime_8.15-2build2.dsc                          17-Feb-2023 07:29                2148
coqprime_8.15.orig.tar.gz                          18-Jul-2022 23:48              987167
coqprime_8.17-1build1.debian.tar.xz                26-Jul-2023 05:19                3212
coqprime_8.17-1build1.dsc                          26-Jul-2023 05:19                2148
coqprime_8.17.orig.tar.gz                          13-Jun-2023 11:34              996033
libcoq-coqprime_8.15-1_amd64.deb                   19-Jul-2022 01:08             1902992
libcoq-coqprime_8.15-2build2_amd64.deb             17-Feb-2023 07:29             1908800
libcoq-coqprime_8.17-1build1_amd64.deb             26-Jul-2023 07:55             2029430