Index of /pureos/pool/main/c/coq-unicoq/

../
coq-unicoq_1.6-8.16-2.debian.tar.xz                29-Apr-2023 17:39    2364
coq-unicoq_1.6-8.16-2.dsc                          29-Apr-2023 17:39    2084
coq-unicoq_1.6-8.16.orig.tar.gz                    29-Apr-2023 17:39    580K
libcoq-unicoq_1.6-8.16-2+b1_amd64.deb              30-Apr-2023 07:30     77K
libcoq-unicoq_1.6-8.16-2+b1_arm64.deb              30-Apr-2023 07:31     81K