Index of /pool/universe/c/coq/

NameLast ModifiedSize
UpParent Directory
Filecoq-theories_8.11.0-1_amd64.deb2020-03-06 08:38 32305k
Filecoq-theories_8.4pl3dfsg-1_all.deb2014-01-19 23:58 31221k
Filecoq-theories_8.4pl4dfsg-3build2_all.deb2015-11-04 14:04 31481k
Filecoq-theories_8.6-5build1_amd64.deb2017-10-28 15:34 32404k
Filecoq-theories_8.6-5build1_i386.deb2017-10-28 15:34 31417k
Filecoq_8.11.0-1.debian.tar.xz2020-03-06 07:53 31k
Filecoq_8.11.0-1.dsc2020-03-06 07:53 3k
Filecoq_8.11.0-1_amd64.deb2020-03-06 08:38 74789k
[CMP]coq_8.11.0.orig.tar.gz2020-03-06 07:53 5690k
Filecoq_8.15.0+dfsg-2.debian.tar.xz2022-02-05 17:49 39k
Filecoq_8.15.0+dfsg-2.dsc2022-02-05 17:49 3k
Filecoq_8.15.0+dfsg-2_amd64.deb2022-02-05 23:52 93158k
Filecoq_8.15.0+dfsg.orig.tar.xz2022-01-17 23:14 4561k
Filecoq_8.16.1+dfsg-1build2.debian.tar.xz2023-02-16 10:06 33k
Filecoq_8.16.1+dfsg-1build2.dsc2023-02-16 10:06 3k
Filecoq_8.16.1+dfsg-1build2_amd64.deb2023-02-16 10:58 106829k
Filecoq_8.16.1+dfsg.orig.tar.xz2022-11-29 17:24 4608k
Filecoq_8.17.0+dfsg-1build1.debian.tar.xz2023-07-24 17:37 33k
Filecoq_8.17.0+dfsg-1build1.dsc2023-07-24 17:37 3k
Filecoq_8.17.0+dfsg-1build1_amd64.deb2023-07-24 17:37 90876k
Filecoq_8.17.0+dfsg.orig.tar.xz2023-06-12 18:01 4662k
Filecoq_8.18.0+dfsg-1build2.debian.tar.xz2024-03-31 18:36 33k
Filecoq_8.18.0+dfsg-1build2.dsc2024-03-31 18:36 3k
Filecoq_8.18.0+dfsg-1build2_amd64.deb2024-03-31 19:32 93681k
Filecoq_8.18.0+dfsg.orig.tar.xz2023-12-22 19:46 4755k
Filecoq_8.19.1+dfsg-3build3.debian.tar.xz2024-09-07 07:08 33k
Filecoq_8.19.1+dfsg-3build3.dsc2024-09-07 07:08 3k
Filecoq_8.19.1+dfsg-3build3_amd64.deb2024-09-07 07:09 98452k
Filecoq_8.19.1+dfsg.orig.tar.bz22024-05-02 11:53 5459k
Filecoq_8.4pl3dfsg-1.debian.tar.xz2014-01-19 23:18 16k
Filecoq_8.4pl3dfsg-1.dsc2014-01-19 23:18 3k
Filecoq_8.4pl3dfsg-1_amd64.deb2014-01-19 23:58 3946k
Filecoq_8.4pl3dfsg-1_i386.deb2014-01-19 23:58 3659k
[CMP]coq_8.4pl3dfsg.orig.tar.gz2014-01-19 23:18 3439k
Filecoq_8.4pl4dfsg-3build2.debian.tar.xz2015-11-04 13:14 16k
Filecoq_8.4pl4dfsg-3build2.dsc2015-11-04 13:14 3k
Filecoq_8.4pl4dfsg-3build2_amd64.deb2015-11-04 14:04 3901k
Filecoq_8.4pl4dfsg-3build2_i386.deb2015-11-04 13:39 3659k
[CMP]coq_8.4pl4dfsg.orig.tar.gz2014-07-27 23:13 3445k
Filecoq_8.6-5build1.debian.tar.xz2017-10-28 14:39 22k
Filecoq_8.6-5build1.dsc2017-10-28 14:39 3k
Filecoq_8.6-5build1_amd64.deb2017-10-28 15:34 17260k
Filecoq_8.6-5build1_i386.deb2017-10-28 15:34 16552k
[CMP]coq_8.6.orig.tar.gz2016-12-28 17:13 4892k
Filecoqide_8.11.0-1_amd64.deb2020-03-06 08:38 1718k
Filecoqide_8.15.0+dfsg-2_amd64.deb2022-02-05 23:51 2332k
Filecoqide_8.16.1+dfsg-1build2_amd64.deb2023-02-16 10:58 2283k
Filecoqide_8.17.0+dfsg-1build1_amd64.deb2023-07-24 17:37 2278k
Filecoqide_8.18.0+dfsg-1build2_amd64.deb2024-03-31 19:32 2295k
Filecoqide_8.19.1+dfsg-3build3_amd64.deb2024-09-07 07:09 2384k
Filecoqide_8.4pl3dfsg-1_amd64.deb2014-01-19 23:58 728k
Filecoqide_8.4pl3dfsg-1_i386.deb2014-01-19 23:58 662k
Filecoqide_8.4pl4dfsg-3build2_amd64.deb2015-11-04 14:04 732k
Filecoqide_8.4pl4dfsg-3build2_i386.deb2015-11-04 13:39 695k
Filecoqide_8.6-5build1_amd64.deb2017-10-28 15:34 1509k
Filecoqide_8.6-5build1_i386.deb2017-10-28 15:34 1357k
Filelibcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb2022-02-05 23:51 43980k
Filelibcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb2023-02-16 10:58 48351k
Filelibcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb2023-07-24 17:37 48733k
Filelibcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb2024-03-31 19:32 50204k
Filelibcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb2024-09-07 07:09 66628k
Filelibcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb2022-02-05 23:51 26436k
Filelibcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb2023-02-16 10:58 26281k
Filelibcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb2023-07-24 17:37 26606k
Filelibcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb2024-03-31 19:32 27039k
Filelibcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb2024-09-07 07:09 25356k
Filelibcoq-ocaml-dev_8.11.0-1_amd64.deb2020-03-06 08:38 15693k
Filelibcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb2014-01-19 23:58 3579k
Filelibcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb2014-01-19 23:58 3564k
Filelibcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb2015-11-04 14:04 3585k
Filelibcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb2015-11-04 13:39 3647k
Filelibcoq-ocaml-dev_8.6-5build1_amd64.deb2017-10-28 15:34 13492k
Filelibcoq-ocaml-dev_8.6-5build1_i386.deb2017-10-28 15:34 13473k
Filelibcoq-ocaml_8.11.0-1_amd64.deb2020-03-06 08:38 6177k
Filelibcoq-ocaml_8.4pl3dfsg-1_amd64.deb2014-01-19 23:58 1549k
Filelibcoq-ocaml_8.4pl3dfsg-1_i386.deb2014-01-19 23:58 1401k
Filelibcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb2015-11-04 14:04 1469k
Filelibcoq-ocaml_8.4pl4dfsg-3build2_i386.deb2015-11-04 13:39 1360k
Filelibcoq-ocaml_8.6-5build1_amd64.deb2017-10-28 15:34 3482k
Filelibcoq-ocaml_8.6-5build1_i386.deb2017-10-28 15:34 3315k
Filelibcoq-stdlib_8.15.0+dfsg-2_amd64.deb2022-02-05 23:51 24117k
Filelibcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb2023-02-16 10:58 23940k
Filelibcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb2023-07-24 17:37 27772k
Filelibcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb2024-03-31 19:32 25891k
Filelibcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb2024-09-07 07:09 26384k
Pars.Host