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

[ICO]NameLast modifiedSizeDescription
[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.6-4_i386.deb2025-09-01 16:30 29M 
[ ]coq-theories_8.9.0-1_amd64.deb2025-08-20 15:59 28M 
[ ]coq-theories_8.9.0-1_i386.deb2025-09-01 16:30 27M 
[ ]coq-theories_8.12.0-3+b3_amd64.deb2025-08-20 15:59 35M 
[ ]coq-theories_8.12.0-3+b3_i386.deb2025-09-01 16:30 34M 
[ ]coqide_8.3.pl4+dfsg-2_amd64.deb2025-08-20 13:49 5.4M 
[ ]coqide_8.3.pl4+dfsg-2_i386.deb2025-09-01 16:30 5.0M 
[ ]coqide_8.4pl4dfsg-1_amd64.deb2025-08-20 15:59 779K 
[ ]coqide_8.4pl4dfsg-1_i386.deb2025-09-01 16:30 714K 
[ ]coqide_8.6-4_amd64.deb2025-08-19 18:48 1.3M 
[ ]coqide_8.6-4_i386.deb2025-09-01 16:30 1.3M 
[ ]coqide_8.12.0-3+b3_amd64.deb2025-08-20 15:59 1.8M 
[ ]coqide_8.12.0-3+b3_i386.deb2025-09-01 16:30 1.6M 
[ ]coqide_8.16.1+dfsg-1+b2_amd64.deb2025-08-20 15:59 1.9M 
[ ]coqide_8.16.1+dfsg-1+b2_i386.deb2025-09-01 16:30 1.7M 
[ ]coq_8.3.pl4+dfsg-2_amd64.deb2025-08-20 13:49 5.4M 
[ ]coq_8.3.pl4+dfsg-2_i386.deb2025-09-01 16:30 4.8M 
[ ]coq_8.4pl4dfsg-1_amd64.deb2025-08-20 15:59 3.9M 
[ ]coq_8.4pl4dfsg-1_i386.deb2025-09-01 16:30 3.6M 
[ ]coq_8.6-4_amd64.deb2025-08-19 18:48 13M 
[ ]coq_8.6-4_i386.deb2025-09-01 16:30 13M 
[ ]coq_8.9.0-1_amd64.deb2025-08-20 15:59 56M 
[ ]coq_8.9.0-1_i386.deb2025-09-01 16:30 54M 
[ ]coq_8.12.0-3+b3_amd64.deb2025-08-20 15:59 86M 
[ ]coq_8.12.0-3+b3_i386.deb2025-09-01 16:30 84M 
[ ]coq_8.16.1+dfsg-1+b2_amd64.deb2025-08-20 15:59 89M 
[ ]coq_8.16.1+dfsg-1+b2_i386.deb2025-09-01 16:30 83M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb2025-08-20 15:59 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb2025-09-01 16:30 40M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb2025-08-20 15:59 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb2025-09-01 16:30 21M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb2025-08-20 13:49 5.6M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb2025-09-01 16:30 5.5M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2025-08-20 15:59 3.6M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2025-09-01 16:30 3.6M 
[ ]libcoq-ocaml-dev_8.6-4_amd64.deb2025-08-19 18:48 13M 
[ ]libcoq-ocaml-dev_8.6-4_i386.deb2025-09-01 16:30 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_amd64.deb2025-08-20 15:59 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_i386.deb2025-09-01 16:30 13M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb2025-08-20 15:59 18M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_i386.deb2025-09-01 16:30 18M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2025-08-20 13:49 2.0M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb2025-09-01 16:30 1.8M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2025-08-20 15:59 1.6M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_i386.deb2025-09-01 16:30 1.4M 
[ ]libcoq-ocaml_8.6-4_amd64.deb2025-08-19 18:48 3.3M 
[ ]libcoq-ocaml_8.6-4_i386.deb2025-09-01 16:30 3.2M 
[ ]libcoq-ocaml_8.9.0-1_amd64.deb2025-08-20 15:59 5.2M 
[ ]libcoq-ocaml_8.9.0-1_i386.deb2025-09-01 16:30 4.9M 
[ ]libcoq-ocaml_8.12.0-3+b3_amd64.deb2025-08-20 15:59 7.4M 
[ ]libcoq-ocaml_8.12.0-3+b3_i386.deb2025-09-01 16:30 7.2M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb2025-08-20 15:59 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb2025-09-01 16:30 21M 
Apache/2.4.65 (Debian) Server at mirror.tecnico.ulisboa.pt Port 443