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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]coq-theories_8.3.pl4+dfsg-2_all.deb2025-08-20 13:49 52M
[   ]coq-theories_8.4pl4dfsg-1_all.deb2025-08-20 15:59 31M
[   ]coq-theories_8.6-4_amd64.deb2025-08-19 18:48 30M
[   ]coq-theories_8.9.0-1_amd64.deb2025-08-20 15:59 28M
[   ]coq-theories_8.12.0-3+b3_amd64.deb2025-08-20 15:59 35M
[   ]coqide_8.3.pl4+dfsg-2_amd64.deb2025-08-20 13:49 5.4M
[   ]coqide_8.4pl4dfsg-1_amd64.deb2025-08-20 15:59 779K
[   ]coqide_8.6-4_amd64.deb2025-08-19 18:48 1.3M
[   ]coqide_8.12.0-3+b3_amd64.deb2025-08-20 15:59 1.8M
[   ]coqide_8.16.1+dfsg-1+b2_amd64.deb2025-08-20 15:59 1.9M
[   ]coq_8.3.pl4+dfsg-2_amd64.deb2025-08-20 13:49 5.4M
[   ]coq_8.4pl4dfsg-1_amd64.deb2025-08-20 15:59 3.9M
[   ]coq_8.6-4_amd64.deb2025-08-19 18:48 13M
[   ]coq_8.9.0-1_amd64.deb2025-08-20 15:59 56M
[   ]coq_8.12.0-3+b3_amd64.deb2025-08-20 15:59 86M
[   ]coq_8.16.1+dfsg-1+b2_amd64.deb2025-08-20 15:59 89M
[   ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb2025-08-20 15:59 41M
[   ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb2025-08-20 15:59 22M
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb2025-08-20 13:49 5.6M
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2025-08-20 15:59 3.6M
[   ]libcoq-ocaml-dev_8.6-4_amd64.deb2025-08-19 18:48 13M
[   ]libcoq-ocaml-dev_8.9.0-1_amd64.deb2025-08-20 15:59 13M
[   ]libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb2025-08-20 15:59 18M
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2025-08-20 13:49 2.0M
[   ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2025-08-20 15:59 1.6M
[   ]libcoq-ocaml_8.6-4_amd64.deb2025-08-19 18:48 3.3M
[   ]libcoq-ocaml_8.9.0-1_amd64.deb2025-08-20 15:59 5.2M
[   ]libcoq-ocaml_8.12.0-3+b3_amd64.deb2025-08-20 15:59 7.4M
[   ]libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb2025-08-20 15:59 21M

Apache/2.4.65 (Debian) Server at mirror.tecnico.ulisboa.pt Port 443