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


../
coq-dbgsym_8.19.1+dfsg-3+ocaml1_amd64.deb          03-Aug-2024 05:42            11174640
coq_8.19.1+dfsg-3+ocaml1.debian.tar.xz             03-Aug-2024 05:42               33088
coq_8.19.1+dfsg-3+ocaml1.dsc                       03-Aug-2024 05:42                1693
coq_8.19.1+dfsg-3+ocaml1_amd64-2024-08-03T05:36..> 03-Aug-2024 05:42             3142710
coq_8.19.1+dfsg-3+ocaml1_amd64.build               03-Aug-2024 05:42             3142710
coq_8.19.1+dfsg-3+ocaml1_amd64.buildinfo           03-Aug-2024 05:42               17037
coq_8.19.1+dfsg-3+ocaml1_amd64.changes             03-Aug-2024 05:42                4557
coq_8.19.1+dfsg-3+ocaml1_amd64.deb                 03-Aug-2024 05:42            86615368
coq_8.19.1+dfsg.orig.tar.bz2                       03-Aug-2024 05:42             5589471
coqide-dbgsym_8.19.1+dfsg-3+ocaml1_amd64.deb       03-Aug-2024 05:42              762296
coqide_8.19.1+dfsg-3+ocaml1_amd64.deb              03-Aug-2024 05:42             2147816
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3+ocaml1_a..> 03-Aug-2024 05:42             2536868
libcoq-core-ocaml-dev_8.19.1+dfsg-3+ocaml1_amd6..> 03-Aug-2024 05:42            67215776
libcoq-core-ocaml_8.19.1+dfsg-3+ocaml1_amd64.deb   03-Aug-2024 05:42            25068616
libcoq-stdlib_8.19.1+dfsg-3+ocaml1_amd64.deb       03-Aug-2024 05:42            23654748