Index of /ubuntu/pool/universe/c/coq/

NameLast ModifiedSize
UpParent Directory
Filecoq-theories_8.11.0-1_amd64.deb06-03-2020 08:38 32308k
Filecoq-theories_8.4pl3dfsg-1_all.deb19-01-2014 23:58 31224k
Filecoq-theories_8.4pl4dfsg-3build2_all.deb04-11-2015 14:04 31484k
Filecoq-theories_8.6-5build1_amd64.deb28-10-2017 15:34 32404k
Filecoq-theories_8.6-5build1_i386.deb28-10-2017 15:34 31420k
Filecoq_8.11.0-1.debian.tar.xz06-03-2020 07:53 32k
Filecoq_8.11.0-1.dsc06-03-2020 07:53 4k
Filecoq_8.11.0-1_amd64.deb06-03-2020 08:38 74792k
[CMP]coq_8.11.0.orig.tar.gz06-03-2020 07:53 5692k
Filecoq_8.15.0+dfsg-2.debian.tar.xz05-02-2022 17:49 40k
Filecoq_8.15.0+dfsg-2.dsc05-02-2022 17:49 4k
Filecoq_8.15.0+dfsg-2_amd64.deb05-02-2022 23:52 93160k
Filecoq_8.15.0+dfsg.orig.tar.xz17-01-2022 23:14 4564k
Filecoq_8.16.1+dfsg-1build2.debian.tar.xz16-02-2023 10:06 36k
Filecoq_8.16.1+dfsg-1build2.dsc16-02-2023 10:06 4k
Filecoq_8.16.1+dfsg-1build2_amd64.deb16-02-2023 10:58 106832k
Filecoq_8.16.1+dfsg.orig.tar.xz29-11-2022 17:24 4608k
Filecoq_8.17.0+dfsg-1build1.debian.tar.xz24-07-2023 17:37 36k
Filecoq_8.17.0+dfsg-1build1.dsc24-07-2023 17:37 4k
Filecoq_8.17.0+dfsg-1build1_amd64.deb24-07-2023 17:37 90876k
Filecoq_8.17.0+dfsg.orig.tar.xz12-06-2023 18:01 4664k
Filecoq_8.18.0+dfsg-1build2.debian.tar.xz31-03-2024 18:36 36k
Filecoq_8.18.0+dfsg-1build2.dsc31-03-2024 18:36 4k
Filecoq_8.18.0+dfsg-1build2_amd64.deb31-03-2024 19:32 93684k
Filecoq_8.18.0+dfsg.orig.tar.xz22-12-2023 19:46 4756k
Filecoq_8.19.1+dfsg-1.debian.tar.xz02-05-2024 11:53 36k
Filecoq_8.19.1+dfsg-1.dsc02-05-2024 11:53 4k
Filecoq_8.19.1+dfsg-1_amd64.deb02-05-2024 11:53 94520k
Filecoq_8.19.1+dfsg.orig.tar.bz202-05-2024 11:53 5460k
Filecoq_8.4pl3dfsg-1.debian.tar.xz19-01-2014 23:18 16k
Filecoq_8.4pl3dfsg-1.dsc19-01-2014 23:18 4k
Filecoq_8.4pl3dfsg-1_amd64.deb19-01-2014 23:58 3948k
Filecoq_8.4pl3dfsg-1_i386.deb19-01-2014 23:58 3660k
[CMP]coq_8.4pl3dfsg.orig.tar.gz19-01-2014 23:18 3440k
Filecoq_8.4pl4dfsg-3build2.debian.tar.xz04-11-2015 13:14 16k
Filecoq_8.4pl4dfsg-3build2.dsc04-11-2015 13:14 4k
Filecoq_8.4pl4dfsg-3build2_amd64.deb04-11-2015 14:04 3904k
Filecoq_8.4pl4dfsg-3build2_i386.deb04-11-2015 13:39 3660k
[CMP]coq_8.4pl4dfsg.orig.tar.gz27-07-2014 23:13 3448k
Filecoq_8.6-5build1.debian.tar.xz28-10-2017 14:39 24k
Filecoq_8.6-5build1.dsc28-10-2017 14:39 4k
Filecoq_8.6-5build1_amd64.deb28-10-2017 15:34 17260k
Filecoq_8.6-5build1_i386.deb28-10-2017 15:34 16552k
[CMP]coq_8.6.orig.tar.gz28-12-2016 17:13 4892k
Filecoqide_8.11.0-1_amd64.deb06-03-2020 08:38 1720k
Filecoqide_8.15.0+dfsg-2_amd64.deb05-02-2022 23:51 2332k
Filecoqide_8.16.1+dfsg-1build2_amd64.deb16-02-2023 10:58 2284k
Filecoqide_8.17.0+dfsg-1build1_amd64.deb24-07-2023 17:37 2280k
Filecoqide_8.18.0+dfsg-1build2_amd64.deb31-03-2024 19:32 2296k
Filecoqide_8.19.1+dfsg-1_amd64.deb02-05-2024 11:53 2300k
Filecoqide_8.4pl3dfsg-1_amd64.deb19-01-2014 23:58 728k
Filecoqide_8.4pl3dfsg-1_i386.deb19-01-2014 23:58 664k
Filecoqide_8.4pl4dfsg-3build2_amd64.deb04-11-2015 14:04 732k
Filecoqide_8.4pl4dfsg-3build2_i386.deb04-11-2015 13:39 696k
Filecoqide_8.6-5build1_amd64.deb28-10-2017 15:34 1512k
Filecoqide_8.6-5build1_i386.deb28-10-2017 15:34 1360k
Filelibcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb05-02-2022 23:51 43980k
Filelibcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb16-02-2023 10:58 48352k
Filelibcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb24-07-2023 17:37 48736k
Filelibcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb31-03-2024 19:32 50204k
Filelibcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb02-05-2024 11:53 51040k
Filelibcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb05-02-2022 23:51 26436k
Filelibcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb16-02-2023 10:58 26284k
Filelibcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb24-07-2023 17:37 26608k
Filelibcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb31-03-2024 19:32 27040k
Filelibcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb02-05-2024 11:53 27256k
Filelibcoq-ocaml-dev_8.11.0-1_amd64.deb06-03-2020 08:38 15696k
Filelibcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb19-01-2014 23:58 3580k
Filelibcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb19-01-2014 23:58 3564k
Filelibcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb04-11-2015 14:04 3588k
Filelibcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb04-11-2015 13:39 3648k
Filelibcoq-ocaml-dev_8.6-5build1_amd64.deb28-10-2017 15:34 13492k
Filelibcoq-ocaml-dev_8.6-5build1_i386.deb28-10-2017 15:34 13476k
Filelibcoq-ocaml_8.11.0-1_amd64.deb06-03-2020 08:38 6180k
Filelibcoq-ocaml_8.4pl3dfsg-1_amd64.deb19-01-2014 23:58 1552k
Filelibcoq-ocaml_8.4pl3dfsg-1_i386.deb19-01-2014 23:58 1404k
Filelibcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb04-11-2015 14:04 1472k
Filelibcoq-ocaml_8.4pl4dfsg-3build2_i386.deb04-11-2015 13:39 1360k
Filelibcoq-ocaml_8.6-5build1_amd64.deb28-10-2017 15:34 3484k
Filelibcoq-ocaml_8.6-5build1_i386.deb28-10-2017 15:34 3316k
Filelibcoq-stdlib_8.15.0+dfsg-2_amd64.deb05-02-2022 23:51 24120k
Filelibcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb16-02-2023 10:58 23940k
Filelibcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb24-07-2023 17:37 27772k
Filelibcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb31-03-2024 19:32 25892k
Filelibcoq-stdlib_8.19.1+dfsg-1_amd64.deb02-05-2024 11:53 26464k
Alojado en Chile por Hostenode SpA - https://hnd.cl