Index of /pureos/pool/main/c/coqprime/

../
coqprime-tools_8.15-2+b1_amd64.deb                 30-Apr-2023 07:31    132K
coqprime-tools_8.15-2+b1_arm64.deb                 30-Apr-2023 07:31    131K
coqprime_8.15-2.debian.tar.xz                      29-Apr-2023 17:39    3576
coqprime_8.15-2.dsc                                29-Apr-2023 17:39    2149
coqprime_8.15.orig.tar.gz                          29-Apr-2023 17:39    964K
libcoq-coqprime_8.15-2+b1_amd64.deb                30-Apr-2023 07:31      2M
libcoq-coqprime_8.15-2+b1_arm64.deb                30-Apr-2023 07:31      2M