Index of /backports/20250313/pool/coq/

../
coq-dbgsym_8.20.1+dfsg-1+ocaml20250313_amd64.deb   13-Mar-2025 11:56             8424228
coq_8.20.1+dfsg-1+ocaml20250313.debian.tar.xz      13-Mar-2025 11:56               30276
coq_8.20.1+dfsg-1+ocaml20250313.dsc                13-Mar-2025 11:56                1718
coq_8.20.1+dfsg-1+ocaml20250313_amd64-2025-03-1..> 13-Mar-2025 11:56             3186592
coq_8.20.1+dfsg-1+ocaml20250313_amd64.build        13-Mar-2025 11:56             3186592
coq_8.20.1+dfsg-1+ocaml20250313_amd64.buildinfo    13-Mar-2025 11:56               17718
coq_8.20.1+dfsg-1+ocaml20250313_amd64.changes      13-Mar-2025 11:56                4806
coq_8.20.1+dfsg-1+ocaml20250313_amd64.deb          13-Mar-2025 11:56            70170260
coq_8.20.1+dfsg.orig.tar.xz                        13-Mar-2025 11:56             5014988
coqide-dbgsym_8.20.1+dfsg-1+ocaml20250313_amd64..> 13-Mar-2025 11:56              640576
coqide_8.20.1+dfsg-1+ocaml20250313_amd64.deb       13-Mar-2025 11:56             1935128
libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml202..> 13-Mar-2025 11:56             2515912
libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml202503..> 13-Mar-2025 11:56            68725000
libcoq-core-ocaml_8.20.1+dfsg-1+ocaml20250313_a..> 13-Mar-2025 11:56            25950968
libcoq-stdlib_8.20.1+dfsg-1+ocaml20250313_amd64..> 13-Mar-2025 11:56            23529472