Index of /debian13/archive/pool/main/c/coq/

../
coq_8.20.1+dfsg-1+b1_amd64.deb                     08-Aug-2026 21:50     67M
coq_8.20.1+dfsg-1.debian.tar.xz                    09-Aug-2026 21:54     30K
coq_8.20.1+dfsg-1.dsc                              09-Aug-2026 21:54    2582
coq_8.20.1+dfsg.orig.tar.xz                        09-Aug-2026 21:54      5M
coqide_8.20.1+dfsg-1+b1_amd64.deb                  08-Aug-2026 21:50      2M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   08-Aug-2026 21:51     66M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       08-Aug-2026 21:51     25M
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           08-Aug-2026 21:51     22M