Index of /backports/20260425/repo/pool/coq/

../
coq-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb          25-Apr-2026 08:22             8853100
coq_8.20.1+dfsg-1+ocaml1.debian.tar.xz             25-Apr-2026 08:22               30264
coq_8.20.1+dfsg-1+ocaml1.dsc                       25-Apr-2026 08:22                1690
coq_8.20.1+dfsg-1+ocaml1_amd64-2026-04-25T01:52..> 25-Apr-2026 08:22             3238155
coq_8.20.1+dfsg-1+ocaml1_amd64.build               25-Apr-2026 08:22             3238155
coq_8.20.1+dfsg-1+ocaml1_amd64.buildinfo           25-Apr-2026 08:22               17308
coq_8.20.1+dfsg-1+ocaml1_amd64.changes             25-Apr-2026 08:22                4573
coq_8.20.1+dfsg-1+ocaml1_amd64.deb                 25-Apr-2026 08:22            71102948
coq_8.20.1+dfsg.orig.tar.xz                        25-Apr-2026 08:21             5014988
coqide-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb       25-Apr-2026 08:22              646840
coqide_8.20.1+dfsg-1+ocaml1_amd64.deb              25-Apr-2026 08:22             1937580
libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml1_a..> 25-Apr-2026 08:22             2515868
libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd6..> 25-Apr-2026 08:22            52018828
libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb   25-Apr-2026 08:22            24210000
libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb       25-Apr-2026 08:22            23531248