Index of /ubuntu/pool/universe/c/coq/
Name
Last Modified
Size
Parent Directory
coq-theories_8.11.0-1_amd64.deb
06-03-2020 08:38
32308k
coq-theories_8.4pl3dfsg-1_all.deb
19-01-2014 23:58
31224k
coq-theories_8.4pl4dfsg-3build2_all.deb
04-11-2015 14:04
31484k
coq-theories_8.6-5build1_amd64.deb
28-10-2017 15:34
32404k
coq-theories_8.6-5build1_i386.deb
28-10-2017 15:34
31420k
coq_8.11.0-1.debian.tar.xz
06-03-2020 07:53
32k
coq_8.11.0-1.dsc
06-03-2020 07:53
4k
coq_8.11.0-1_amd64.deb
06-03-2020 08:38
74792k
coq_8.11.0.orig.tar.gz
06-03-2020 07:53
5692k
coq_8.15.0+dfsg-2.debian.tar.xz
05-02-2022 17:49
40k
coq_8.15.0+dfsg-2.dsc
05-02-2022 17:49
4k
coq_8.15.0+dfsg-2_amd64.deb
05-02-2022 23:52
93160k
coq_8.15.0+dfsg.orig.tar.xz
17-01-2022 23:14
4564k
coq_8.16.1+dfsg-1build2.debian.tar.xz
16-02-2023 10:06
36k
coq_8.16.1+dfsg-1build2.dsc
16-02-2023 10:06
4k
coq_8.16.1+dfsg-1build2_amd64.deb
16-02-2023 10:58
106832k
coq_8.16.1+dfsg.orig.tar.xz
29-11-2022 17:24
4608k
coq_8.17.0+dfsg-1build1.debian.tar.xz
24-07-2023 17:37
36k
coq_8.17.0+dfsg-1build1.dsc
24-07-2023 17:37
4k
coq_8.17.0+dfsg-1build1_amd64.deb
24-07-2023 17:37
90876k
coq_8.17.0+dfsg.orig.tar.xz
12-06-2023 18:01
4664k
coq_8.18.0+dfsg-1build2.debian.tar.xz
31-03-2024 18:36
36k
coq_8.18.0+dfsg-1build2.dsc
31-03-2024 18:36
4k
coq_8.18.0+dfsg-1build2_amd64.deb
31-03-2024 19:32
93684k
coq_8.18.0+dfsg.orig.tar.xz
22-12-2023 19:46
4756k
coq_8.19.1+dfsg-1.debian.tar.xz
02-05-2024 11:53
36k
coq_8.19.1+dfsg-1.dsc
02-05-2024 11:53
4k
coq_8.19.1+dfsg-1_amd64.deb
02-05-2024 11:53
94520k
coq_8.19.1+dfsg.orig.tar.bz2
02-05-2024 11:53
5460k
coq_8.4pl3dfsg-1.debian.tar.xz
19-01-2014 23:18
16k
coq_8.4pl3dfsg-1.dsc
19-01-2014 23:18
4k
coq_8.4pl3dfsg-1_amd64.deb
19-01-2014 23:58
3948k
coq_8.4pl3dfsg-1_i386.deb
19-01-2014 23:58
3660k
coq_8.4pl3dfsg.orig.tar.gz
19-01-2014 23:18
3440k
coq_8.4pl4dfsg-3build2.debian.tar.xz
04-11-2015 13:14
16k
coq_8.4pl4dfsg-3build2.dsc
04-11-2015 13:14
4k
coq_8.4pl4dfsg-3build2_amd64.deb
04-11-2015 14:04
3904k
coq_8.4pl4dfsg-3build2_i386.deb
04-11-2015 13:39
3660k
coq_8.4pl4dfsg.orig.tar.gz
27-07-2014 23:13
3448k
coq_8.6-5build1.debian.tar.xz
28-10-2017 14:39
24k
coq_8.6-5build1.dsc
28-10-2017 14:39
4k
coq_8.6-5build1_amd64.deb
28-10-2017 15:34
17260k
coq_8.6-5build1_i386.deb
28-10-2017 15:34
16552k
coq_8.6.orig.tar.gz
28-12-2016 17:13
4892k
coqide_8.11.0-1_amd64.deb
06-03-2020 08:38
1720k
coqide_8.15.0+dfsg-2_amd64.deb
05-02-2022 23:51
2332k
coqide_8.16.1+dfsg-1build2_amd64.deb
16-02-2023 10:58
2284k
coqide_8.17.0+dfsg-1build1_amd64.deb
24-07-2023 17:37
2280k
coqide_8.18.0+dfsg-1build2_amd64.deb
31-03-2024 19:32
2296k
coqide_8.19.1+dfsg-1_amd64.deb
02-05-2024 11:53
2300k
coqide_8.4pl3dfsg-1_amd64.deb
19-01-2014 23:58
728k
coqide_8.4pl3dfsg-1_i386.deb
19-01-2014 23:58
664k
coqide_8.4pl4dfsg-3build2_amd64.deb
04-11-2015 14:04
732k
coqide_8.4pl4dfsg-3build2_i386.deb
04-11-2015 13:39
696k
coqide_8.6-5build1_amd64.deb
28-10-2017 15:34
1512k
coqide_8.6-5build1_i386.deb
28-10-2017 15:34
1360k
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb
05-02-2022 23:51
43980k
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb
16-02-2023 10:58
48352k
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb
24-07-2023 17:37
48736k
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb
31-03-2024 19:32
50204k
libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb
02-05-2024 11:53
51040k
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
05-02-2022 23:51
26436k
libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb
16-02-2023 10:58
26284k
libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb
24-07-2023 17:37
26608k
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb
31-03-2024 19:32
27040k
libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb
02-05-2024 11:53
27256k
libcoq-ocaml-dev_8.11.0-1_amd64.deb
06-03-2020 08:38
15696k
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
19-01-2014 23:58
3580k
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb
19-01-2014 23:58
3564k
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb
04-11-2015 14:04
3588k
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb
04-11-2015 13:39
3648k
libcoq-ocaml-dev_8.6-5build1_amd64.deb
28-10-2017 15:34
13492k
libcoq-ocaml-dev_8.6-5build1_i386.deb
28-10-2017 15:34
13476k
libcoq-ocaml_8.11.0-1_amd64.deb
06-03-2020 08:38
6180k
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
19-01-2014 23:58
1552k
libcoq-ocaml_8.4pl3dfsg-1_i386.deb
19-01-2014 23:58
1404k
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb
04-11-2015 14:04
1472k
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb
04-11-2015 13:39
1360k
libcoq-ocaml_8.6-5build1_amd64.deb
28-10-2017 15:34
3484k
libcoq-ocaml_8.6-5build1_i386.deb
28-10-2017 15:34
3316k
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb
05-02-2022 23:51
24120k
libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb
16-02-2023 10:58
23940k
libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb
24-07-2023 17:37
27772k
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb
31-03-2024 19:32
25892k
libcoq-stdlib_8.19.1+dfsg-1_amd64.deb
02-05-2024 11:53
26464k
Alojado en Chile por Hostenode SpA -
https://hnd.cl