uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

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

Show dotfiles
Name
Last modified
Size
../
-
-
coq-theories_8.11.0-1_amd64.deb
06-Mar-2020 08:38
31.55 MB
coq-theories_8.4pl3dfsg-1_all.deb
19-Jan-2014 23:58
30.49 MB
coq-theories_8.4pl4dfsg-3build2_all.deb
04-Nov-2015 14:04
30.74 MB
coq-theories_8.6-5build1_amd64.deb
28-Oct-2017 15:34
31.64 MB
coq-theories_8.6-5build1_i386.deb
28-Oct-2017 15:34
30.68 MB
coq_8.11.0-1.debian.tar.xz
06-Mar-2020 07:53
30.93 KB
coq_8.11.0-1.dsc
06-Mar-2020 07:53
2.44 KB
coq_8.11.0-1_amd64.deb
06-Mar-2020 08:38
73.04 MB
coq_8.11.0.orig.tar.gz
06-Mar-2020 07:53
5.56 MB
coq_8.15.0+dfsg-2.debian.tar.xz
05-Feb-2022 17:49
38.74 KB
coq_8.15.0+dfsg-2.dsc
05-Feb-2022 17:49
2.54 KB
coq_8.15.0+dfsg-2_amd64.deb
05-Feb-2022 23:52
90.97 MB
coq_8.15.0+dfsg.orig.tar.xz
17-Jan-2022 23:14
4.45 MB
coq_8.18.0+dfsg-1build2.debian.tar.xz
31-Mar-2024 18:36
32.55 KB
coq_8.18.0+dfsg-1build2.dsc
31-Mar-2024 18:36
2.62 KB
coq_8.18.0+dfsg-1build2_amd64.deb
31-Mar-2024 19:32
91.49 MB
coq_8.18.0+dfsg.orig.tar.xz
22-Dec-2023 19:46
4.64 MB
coq_8.20.1+dfsg-1.debian.tar.xz
18-Feb-2025 01:39
29.5 KB
coq_8.20.1+dfsg-1.dsc
18-Feb-2025 01:39
2.52 KB
coq_8.20.1+dfsg-1_amd64.deb
18-Feb-2025 01:40
78.16 MB
coq_8.20.1+dfsg-1build1.debian.tar.xz
19-Jun-2025 11:23
29.56 KB
coq_8.20.1+dfsg-1build1.dsc
19-Jun-2025 11:23
2.51 KB
coq_8.20.1+dfsg-1build1_amd64.deb
19-Jun-2025 23:39
77.85 MB
coq_8.20.1+dfsg-1build2.debian.tar.xz
03-Jan-2026 19:11
29.57 KB
coq_8.20.1+dfsg-1build2.dsc
03-Jan-2026 19:11
2.51 KB
coq_8.20.1+dfsg-1build2_amd64.deb
04-Jan-2026 05:48
78.64 MB
coq_8.20.1+dfsg-1build2_amd64v3.deb
04-Jan-2026 05:48
78.64 MB
coq_8.20.1+dfsg-1build4.debian.tar.xz
01-Mar-2026 13:53
29.63 KB
coq_8.20.1+dfsg-1build4.dsc
01-Mar-2026 13:53
2.51 KB
coq_8.20.1+dfsg-1build4_amd64.deb
01-Mar-2026 13:54
78.64 MB
coq_8.20.1+dfsg-1build4_amd64v3.deb
01-Mar-2026 13:55
78.62 MB
coq_8.20.1+dfsg.orig.tar.xz
18-Feb-2025 01:39
4.78 MB
coq_8.4pl3dfsg-1.debian.tar.xz
19-Jan-2014 23:18
15.43 KB
coq_8.4pl3dfsg-1.dsc
19-Jan-2014 23:18
2.3 KB
coq_8.4pl3dfsg-1_amd64.deb
19-Jan-2014 23:58
3.85 MB
coq_8.4pl3dfsg-1_i386.deb
19-Jan-2014 23:58
3.57 MB
coq_8.4pl3dfsg.orig.tar.gz
19-Jan-2014 23:18
3.36 MB
coq_8.4pl4dfsg-3build2.debian.tar.xz
04-Nov-2015 13:14
15.77 KB
coq_8.4pl4dfsg-3build2.dsc
04-Nov-2015 13:14
2.34 KB
coq_8.4pl4dfsg-3build2_amd64.deb
04-Nov-2015 14:04
3.81 MB
coq_8.4pl4dfsg-3build2_i386.deb
04-Nov-2015 13:39
3.57 MB
coq_8.4pl4dfsg.orig.tar.gz
27-Jul-2014 23:13
3.36 MB
coq_8.6-5build1.debian.tar.xz
28-Oct-2017 14:39
21.35 KB
coq_8.6-5build1.dsc
28-Oct-2017 14:39
2.35 KB
coq_8.6-5build1_amd64.deb
28-Oct-2017 15:34
16.86 MB
coq_8.6-5build1_i386.deb
28-Oct-2017 15:34
16.16 MB
coq_8.6.orig.tar.gz
28-Dec-2016 17:13
4.78 MB
coqide_8.11.0-1_amd64.deb
06-Mar-2020 08:38
1.68 MB
coqide_8.15.0+dfsg-2_amd64.deb
05-Feb-2022 23:51
2.28 MB
coqide_8.18.0+dfsg-1build2_amd64.deb
31-Mar-2024 19:32
2.24 MB
coqide_8.20.1+dfsg-1_amd64.deb
18-Feb-2025 01:40
2.11 MB
coqide_8.20.1+dfsg-1build1_amd64.deb
19-Jun-2025 23:39
2.1 MB
coqide_8.20.1+dfsg-1build2_amd64.deb
04-Jan-2026 05:48
2.1 MB
coqide_8.20.1+dfsg-1build2_amd64v3.deb
04-Jan-2026 05:48
2.1 MB
coqide_8.20.1+dfsg-1build4_amd64.deb
01-Mar-2026 13:54
2.11 MB
coqide_8.20.1+dfsg-1build4_amd64v3.deb
01-Mar-2026 13:55
2.11 MB
coqide_8.4pl3dfsg-1_amd64.deb
19-Jan-2014 23:58
727.16 KB
coqide_8.4pl3dfsg-1_i386.deb
19-Jan-2014 23:58
661.64 KB
coqide_8.4pl4dfsg-3build2_amd64.deb
04-Nov-2015 14:04
731.36 KB
coqide_8.4pl4dfsg-3build2_i386.deb
04-Nov-2015 13:39
694.95 KB
coqide_8.6-5build1_amd64.deb
28-Oct-2017 15:34
1.47 MB
coqide_8.6-5build1_i386.deb
28-Oct-2017 15:34
1.32 MB
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb
05-Feb-2022 23:51
42.95 MB
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb
31-Mar-2024 19:32
49.03 MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb
18-Feb-2025 01:40
66.47 MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb
19-Jun-2025 23:39
66.37 MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1build2_amd64.deb
04-Jan-2026 05:48
57.03 MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1build2_amd64v3.deb
04-Jan-2026 05:48
57.03 MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb
01-Mar-2026 13:54
57.03 MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64v3.deb
01-Mar-2026 13:55
57.03 MB
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
05-Feb-2022 23:51
25.82 MB
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb
31-Mar-2024 19:32
26.4 MB
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb
18-Feb-2025 01:40
25.57 MB
libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb
19-Jun-2025 23:39
25.54 MB
libcoq-core-ocaml_8.20.1+dfsg-1build2_amd64.deb
04-Jan-2026 05:48
26.97 MB
libcoq-core-ocaml_8.20.1+dfsg-1build2_amd64v3.deb
04-Jan-2026 05:48
26.97 MB
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb
01-Mar-2026 13:54
26.97 MB
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64v3.deb
01-Mar-2026 13:55
26.97 MB
libcoq-ocaml-dev_8.11.0-1_amd64.deb
06-Mar-2020 08:38
15.32 MB
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
19-Jan-2014 23:58
3.49 MB
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb
19-Jan-2014 23:58
3.48 MB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb
04-Nov-2015 14:04
3.5 MB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb
04-Nov-2015 13:39
3.56 MB
libcoq-ocaml-dev_8.6-5build1_amd64.deb
28-Oct-2017 15:34
13.18 MB
libcoq-ocaml-dev_8.6-5build1_i386.deb
28-Oct-2017 15:34
13.16 MB
libcoq-ocaml_8.11.0-1_amd64.deb
06-Mar-2020 08:38
6.03 MB
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
19-Jan-2014 23:58
1.51 MB
libcoq-ocaml_8.4pl3dfsg-1_i386.deb
19-Jan-2014 23:58
1.37 MB
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb
04-Nov-2015 14:04
1.43 MB
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb
04-Nov-2015 13:39
1.33 MB
libcoq-ocaml_8.6-5build1_amd64.deb
28-Oct-2017 15:34
3.4 MB
libcoq-ocaml_8.6-5build1_i386.deb
28-Oct-2017 15:34
3.24 MB
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb
05-Feb-2022 23:51
23.55 MB
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb
31-Mar-2024 19:32
25.28 MB
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb
18-Feb-2025 01:40
25.72 MB
libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb
19-Jun-2025 23:39
25.67 MB
libcoq-stdlib_8.20.1+dfsg-1build2_amd64.deb
04-Jan-2026 05:48
25.67 MB
libcoq-stdlib_8.20.1+dfsg-1build2_amd64v3.deb
04-Jan-2026 05:48
25.67 MB
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb
01-Mar-2026 13:54
25.67 MB
libcoq-stdlib_8.20.1+dfsg-1build4_amd64v3.deb
01-Mar-2026 13:55
25.67 MB