Index of /mirror-backup20251114/pool/universe/c/coq/

../
coq_8.19.1+dfsg-3build3.debian.tar.xz              07-Sep-2024 07:08     32K
coq_8.19.1+dfsg-3build3.dsc                        07-Sep-2024 07:08    2572
coq_8.19.1+dfsg-3build3_amd64.deb                  07-Sep-2024 07:09     96M
coq_8.19.1+dfsg.orig.tar.bz2                       02-May-2024 11:53      5M
coqide_8.19.1+dfsg-3build3_amd64.deb               07-Sep-2024 07:09      2M
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64..> 07-Sep-2024 07:09     65M
libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb    07-Sep-2024 07:09     25M
libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb        07-Sep-2024 07:09     26M