Index of /backports/20260106/pool/coq/

../
coq-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb          06-Jan-2026 07:16             8869784
coq_8.20.1+dfsg-1+ocaml1.debian.tar.xz             06-Jan-2026 07:16               30260
coq_8.20.1+dfsg-1+ocaml1.dsc                       06-Jan-2026 07:16                1690
coq_8.20.1+dfsg-1+ocaml1_amd64-2026-01-06T07:10..> 06-Jan-2026 07:16             3236058
coq_8.20.1+dfsg-1+ocaml1_amd64.build               06-Jan-2026 07:16             3236058
coq_8.20.1+dfsg-1+ocaml1_amd64.buildinfo           06-Jan-2026 07:16               17133
coq_8.20.1+dfsg-1+ocaml1_amd64.changes             06-Jan-2026 07:16                4559
coq_8.20.1+dfsg-1+ocaml1_amd64.deb                 06-Jan-2026 07:16            71090936
coq_8.20.1+dfsg.orig.tar.xz                        06-Jan-2026 07:16             5014988
coqide-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb       06-Jan-2026 07:16              644556
coqide_8.20.1+dfsg-1+ocaml1_amd64.deb              06-Jan-2026 07:16             1940536
libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml1_a..> 06-Jan-2026 07:16             2515140
libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd6..> 06-Jan-2026 07:16            52000808
libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb   06-Jan-2026 07:16            24208672
libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb       06-Jan-2026 07:16            23527552