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


../
coqprime-tools_8.15-1_amd64.deb                    19-Jul-2022 01:08              179994
coqprime-tools_8.15-1build2_amd64.deb              03-Dec-2022 12:29              180508
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-1build2.debian.tar.xz                03-Dec-2022 12:29                3616
coqprime_8.15-1build2.dsc                          03-Dec-2022 12:29                2143
coqprime_8.15.orig.tar.gz                          18-Jul-2022 23:48              987167
libcoq-coqprime_8.15-1_amd64.deb                   19-Jul-2022 01:08             1902992
libcoq-coqprime_8.15-1build2_amd64.deb             03-Dec-2022 12:29             1911742