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


../
coqprime-tools_8.15-1_amd64.deb                    19-Jul-2022 01:08              179994
coqprime-tools_8.15-1build3_amd64.deb              31-Dec-2022 12:04              180092
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-1build3.debian.tar.xz                31-Dec-2022 12:04                3624
coqprime_8.15-1build3.dsc                          31-Dec-2022 12:04                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-1build3_amd64.deb             31-Dec-2022 12:04             1910146