Index of /deb.debian.org/debian/pool/main/c/coq-unicoq/

../
coq-unicoq_1.6-8.16-2.debian.tar.xz                25-Jan-2023 17:37    2364
coq-unicoq_1.6-8.16-2.dsc                          25-Jan-2023 17:37    2084
coq-unicoq_1.6-8.20-1.dsc                          24-Nov-2024 00:52    2094
libcoq-unicoq_1.6-8.16-2+b1_amd64.deb              13-Feb-2023 14:41     77K
libcoq-unicoq_1.6-8.16-2+b1_arm64.deb              13-Feb-2023 14:41     81K
libcoq-unicoq_1.6-8.16-2+b1_armhf.deb              13-Feb-2023 14:56     76K
libcoq-unicoq_1.6-8.16-2+b1_i386.deb               13-Feb-2023 14:46     71K
libcoq-unicoq_1.6-8.20-1+b4_amd64.deb              15-Jun-2025 20:19     85K
libcoq-unicoq_1.6-8.20-1+b4_arm64.deb              15-Jun-2025 20:20     88K