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

../
coq-dbgsym_8.20.0+dfsg-1+ocaml1_amd64.deb          15-Jan-2025 14:52             8814528
coq_8.20.0+dfsg-1+ocaml1.debian.tar.xz             15-Jan-2025 14:52               30244
coq_8.20.0+dfsg-1+ocaml1.dsc                       15-Jan-2025 14:52                1690
coq_8.20.0+dfsg-1+ocaml1_amd64-2025-01-15T14:42..> 15-Jan-2025 14:52             3204986
coq_8.20.0+dfsg-1+ocaml1_amd64.build               15-Jan-2025 14:52             3204986
coq_8.20.0+dfsg-1+ocaml1_amd64.buildinfo           15-Jan-2025 14:52               17586
coq_8.20.0+dfsg-1+ocaml1_amd64.changes             15-Jan-2025 14:52                4551
coq_8.20.0+dfsg-1+ocaml1_amd64.deb                 15-Jan-2025 14:52            70057952
coq_8.20.0+dfsg.orig.tar.xz                        15-Jan-2025 14:52             5012820
coqide-dbgsym_8.20.0+dfsg-1+ocaml1_amd64.deb       15-Jan-2025 14:52              639660
coqide_8.20.0+dfsg-1+ocaml1_amd64.deb              15-Jan-2025 14:52             1930660
libcoq-core-ocaml-dbgsym_8.20.0+dfsg-1+ocaml1_a..> 15-Jan-2025 14:52             2516360
libcoq-core-ocaml-dev_8.20.0+dfsg-1+ocaml1_amd6..> 15-Jan-2025 14:53            68748312
libcoq-core-ocaml_8.20.0+dfsg-1+ocaml1_amd64.deb   15-Jan-2025 14:53            25953928
libcoq-stdlib_8.20.0+dfsg-1+ocaml1_amd64.deb       15-Jan-2025 14:53            23529848