Index of /transitions/20260425/repo/pool/coq/

../
coq-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb          25-Apr-2026 08:24             8662328
coq_8.20.1+dfsg-1+ocaml1.debian.tar.xz             25-Apr-2026 08:24               30252
coq_8.20.1+dfsg-1+ocaml1.dsc                       25-Apr-2026 08:24                1689
coq_8.20.1+dfsg-1+ocaml1_amd64-2026-04-25T06:37..> 25-Apr-2026 08:24             3238164
coq_8.20.1+dfsg-1+ocaml1_amd64.build               25-Apr-2026 08:24             3238164
coq_8.20.1+dfsg-1+ocaml1_amd64.buildinfo           25-Apr-2026 08:24               16992
coq_8.20.1+dfsg-1+ocaml1_amd64.changes             25-Apr-2026 08:24                4557
coq_8.20.1+dfsg-1+ocaml1_amd64.deb                 25-Apr-2026 08:24            71108856
coq_8.20.1+dfsg.orig.tar.xz                        25-Apr-2026 08:23             5014988
coqide-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb       25-Apr-2026 08:24              644760
coqide_8.20.1+dfsg-1+ocaml1_amd64.deb              25-Apr-2026 08:24             1933468
libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml1_a..> 25-Apr-2026 08:24             2514228
libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd6..> 25-Apr-2026 08:24            52006144
libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb   25-Apr-2026 08:24            24205680
libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb       25-Apr-2026 08:24            23524344