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

../
coq-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb          15-May-2026 09:11             8661624
coq_8.20.1+dfsg-1+ocaml1.debian.tar.xz             15-May-2026 09:11               30280
coq_8.20.1+dfsg-1+ocaml1.dsc                       15-May-2026 09:11                1689
coq_8.20.1+dfsg-1+ocaml1_amd64-2026-05-15T08:16..> 15-May-2026 09:11             3239193
coq_8.20.1+dfsg-1+ocaml1_amd64.build               15-May-2026 09:11             3239193
coq_8.20.1+dfsg-1+ocaml1_amd64.buildinfo           15-May-2026 09:11               17097
coq_8.20.1+dfsg-1+ocaml1_amd64.changes             15-May-2026 09:11                4557
coq_8.20.1+dfsg-1+ocaml1_amd64.deb                 15-May-2026 09:12            71099668
coq_8.20.1+dfsg.orig.tar.xz                        15-May-2026 09:11             5014988
coqide-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb       15-May-2026 09:12              644904
coqide_8.20.1+dfsg-1+ocaml1_amd64.deb              15-May-2026 09:12             1934220
libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml1_a..> 15-May-2026 09:12             2512540
libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd6..> 15-May-2026 09:12            52004732
libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb   15-May-2026 09:12            24200484
libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb       15-May-2026 09:12            23524604