Index of /debian-trixie/debian/pool/main/c/coq/

../
coq_8.20.1+dfsg-1+b1_amd64.deb                     09-Feb-2026 20:49            70222224
coq_8.20.1+dfsg-1.debian.tar.xz                    09-Feb-2026 20:49               30208
coq_8.20.1+dfsg-1.dsc                              09-Feb-2026 20:49                2582
coq_8.20.1+dfsg.orig.tar.xz                        09-Feb-2026 20:49             5014988
coqide_8.20.1+dfsg-1+b1_amd64.deb                  09-Feb-2026 20:49             1930360
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   09-Feb-2026 20:49            68700208
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       09-Feb-2026 20:49            25955760
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           09-Feb-2026 20:49            23527164