Index of /transitions/20240715/ocaml-5.2.0/pool/coq/

../
coq-dbgsym_8.19.1+dfsg-2+ocaml1_amd64.deb          15-Jul-2024 17:07            11243932
coq_8.19.1+dfsg-2+ocaml1.debian.tar.xz             15-Jul-2024 17:07               32948
coq_8.19.1+dfsg-2+ocaml1.dsc                       15-Jul-2024 17:07                1693
coq_8.19.1+dfsg-2+ocaml1_amd64-2024-07-15T16:59..> 15-Jul-2024 17:07             2829469
coq_8.19.1+dfsg-2+ocaml1_amd64.build               15-Jul-2024 17:07             2829469
coq_8.19.1+dfsg-2+ocaml1_amd64.buildinfo           15-Jul-2024 17:07               17103
coq_8.19.1+dfsg-2+ocaml1_amd64.changes             15-Jul-2024 17:07                4557
coq_8.19.1+dfsg-2+ocaml1_amd64.deb                 15-Jul-2024 17:07            86611056
coq_8.19.1+dfsg.orig.tar.bz2                       15-Jul-2024 17:07             5589471
coqide-dbgsym_8.19.1+dfsg-2+ocaml1_amd64.deb       15-Jul-2024 17:07              761016
coqide_8.19.1+dfsg-2+ocaml1_amd64.deb              15-Jul-2024 17:07             2141500
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-2+ocaml1_a..> 15-Jul-2024 17:07             2537212
libcoq-core-ocaml-dev_8.19.1+dfsg-2+ocaml1_amd6..> 15-Jul-2024 17:07            67192184
libcoq-core-ocaml_8.19.1+dfsg-2+ocaml1_amd64.deb   15-Jul-2024 17:07            25066780
libcoq-stdlib_8.19.1+dfsg-2+ocaml1_amd64.deb       15-Jul-2024 17:07            23652592