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

../
coq-unicoq_1.6-8.16-2.debian.tar.xz                14-Jun-2023 13:55    2364
coq-unicoq_1.6-8.16-2.dsc                          14-Jun-2023 13:55    2084
coq-unicoq_1.6-8.16.orig.tar.gz                    14-Jun-2023 13:55    580K
libcoq-unicoq_1.6-8.16-2+b1_amd64.deb              14-Jun-2023 20:17     77K
libcoq-unicoq_1.6-8.16-2+b1_arm64.deb              14-Jun-2023 20:17     81K