Index of /freexian/extended-lts/pool/main/c/coq
Name
Last modified
Size
Parent Directory
-
coqide_8.4pl4dfsg-1_amd64.deb
2025-08-20 15:59
779K
coqide_8.6-4_amd64.deb
2025-08-19 18:48
1.3M
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb
2025-08-20 15:59
1.6M
coqide_8.12.0-3+b3_amd64.deb
2025-08-20 15:59
1.8M
coqide_8.16.1+dfsg-1+b2_amd64.deb
2025-08-20 15:59
1.9M
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb
2025-08-20 13:49
2.0M
libcoq-ocaml_8.6-4_amd64.deb
2025-08-19 18:48
3.3M
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb
2025-08-20 15:59
3.6M
coq_8.4pl4dfsg-1_amd64.deb
2025-08-20 15:59
3.9M
libcoq-ocaml_8.9.0-1_amd64.deb
2025-08-20 15:59
5.2M
coqide_8.3.pl4+dfsg-2_amd64.deb
2025-08-20 13:49
5.4M
coq_8.3.pl4+dfsg-2_amd64.deb
2025-08-20 13:49
5.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb
2025-08-20 13:49
5.6M
libcoq-ocaml_8.12.0-3+b3_amd64.deb
2025-08-20 15:59
7.4M
libcoq-ocaml-dev_8.6-4_amd64.deb
2025-08-19 18:48
13M
libcoq-ocaml-dev_8.9.0-1_amd64.deb
2025-08-20 15:59
13M
coq_8.6-4_amd64.deb
2025-08-19 18:48
13M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb
2025-08-20 15:59
18M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb
2025-08-20 15:59
21M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb
2025-08-20 15:59
22M
coq-theories_8.9.0-1_amd64.deb
2025-08-20 15:59
28M
coq-theories_8.6-4_amd64.deb
2025-08-19 18:48
30M
coq-theories_8.4pl4dfsg-1_all.deb
2025-08-20 15:59
31M
coq-theories_8.12.0-3+b3_amd64.deb
2025-08-20 15:59
35M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb
2025-08-20 15:59
41M
coq-theories_8.3.pl4+dfsg-2_all.deb
2025-08-20 13:49
52M
coq_8.9.0-1_amd64.deb
2025-08-20 15:59
56M
coq_8.12.0-3+b3_amd64.deb
2025-08-20 15:59
86M
coq_8.16.1+dfsg-1+b2_amd64.deb
2025-08-20 15:59
89M
Apache/2.4.65 (Debian) Server at mirror.tecnico.ulisboa.pt Port 443