Index of /transitions/ocaml-5.5.0/repo/pool/coq/

../
coq-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb          02-Jul-2026 21:15             9140368
coq_8.20.1+dfsg-1+ocaml1.debian.tar.xz             02-Jul-2026 21:15               30244
coq_8.20.1+dfsg-1+ocaml1.dsc                       02-Jul-2026 21:15                1689
coq_8.20.1+dfsg-1+ocaml1_amd64-2026-07-02T13:02..> 02-Jul-2026 21:15             3255853
coq_8.20.1+dfsg-1+ocaml1_amd64.build               02-Jul-2026 21:15             3255853
coq_8.20.1+dfsg-1+ocaml1_amd64.buildinfo           02-Jul-2026 21:15               17490
coq_8.20.1+dfsg-1+ocaml1_amd64.changes             02-Jul-2026 21:15                4557
coq_8.20.1+dfsg-1+ocaml1_amd64.deb                 02-Jul-2026 21:15            74926584
coq_8.20.1+dfsg.orig.tar.xz                        02-Jul-2026 21:13             5014988
coqide-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb       02-Jul-2026 21:15              653860
coqide_8.20.1+dfsg-1+ocaml1_amd64.deb              02-Jul-2026 21:15             1963500
libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml1_a..> 02-Jul-2026 21:15             2516664
libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd6..> 02-Jul-2026 21:15            53403680
libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb   02-Jul-2026 21:15            25186928
libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb       02-Jul-2026 21:15            23525128