Index of /extended-lts/pool/main/c/coq/

../
coq-theories_8.4pl4dfsg-1_all.deb                  08-May-2025 14:07            32177364
coq_8.4pl4dfsg-1_amd64.deb                         08-May-2025 14:07             4047862
coqide_8.4pl4dfsg-1_amd64.deb                      08-May-2025 14:07              797340
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb            08-May-2025 14:07             3780318
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb                08-May-2025 14:07             1637886