Directory listing of https://mirror.biznetgio.com/ubuntu/pool/universe/c/coq
mirror.biznetgio.com
/
ubuntu
/
pool
/
universe
/
c
/
coq
File
Size
Last Modified
..
-
2024-11-20 23:31:18
coq-theories_8.4pl3dfsg-1_all.deb
30.49MB
2014-01-19 23:58:43
coq-theories_8.4pl4dfsg-3build2_all.deb
30.74MB
2015-11-04 14:04:33
coq-theories_8.6-5build1_amd64.deb
31.64MB
2017-10-28 15:34:40
coq-theories_8.6-5build1_i386.deb
30.68MB
2017-10-28 15:34:52
coq-theories_8.11.0-1_amd64.deb
31.55MB
2020-03-06 08:38:19
coqide_8.4pl3dfsg-1_amd64.deb
727.16KB
2014-01-19 23:58:45
coqide_8.4pl3dfsg-1_i386.deb
661.64KB
2014-01-19 23:58:54
coqide_8.4pl4dfsg-3build2_amd64.deb
731.36KB
2015-11-04 14:04:31
coqide_8.4pl4dfsg-3build2_i386.deb
694.95KB
2015-11-04 13:39:44
coqide_8.6-5build1_amd64.deb
1.47MB
2017-10-28 15:34:40
coqide_8.6-5build1_i386.deb
1.32MB
2017-10-28 15:34:51
coqide_8.11.0-1_amd64.deb
1.68MB
2020-03-06 08:38:18
coqide_8.15.0+dfsg-2_amd64.deb
2.28MB
2022-02-05 23:51:53
coqide_8.18.0+dfsg-1build2_amd64.deb
2.24MB
2024-03-31 19:32:21
coqide_8.19.1+dfsg-3build3_amd64.deb
2.33MB
2024-09-07 07:09:30
coqide_8.20.0+dfsg-1_amd64.deb
2.08MB
2024-11-20 18:48:17
coq_8.4pl3dfsg-1.debian.tar.xz
15.43KB
2014-01-19 23:18:52
coq_8.4pl3dfsg-1.dsc
2.30KB
2014-01-19 23:18:53
coq_8.4pl3dfsg-1_amd64.deb
3.85MB
2014-01-19 23:58:45
coq_8.4pl3dfsg-1_i386.deb
3.57MB
2014-01-19 23:58:55
coq_8.4pl3dfsg.orig.tar.gz
3.36MB
2014-01-19 23:18:53
coq_8.4pl4dfsg-3build2.debian.tar.xz
15.77KB
2015-11-04 13:14:21
coq_8.4pl4dfsg-3build2.dsc
2.34KB
2015-11-04 13:14:21
coq_8.4pl4dfsg-3build2_amd64.deb
3.81MB
2015-11-04 14:04:34
coq_8.4pl4dfsg-3build2_i386.deb
3.57MB
2015-11-04 13:39:44
coq_8.4pl4dfsg.orig.tar.gz
3.36MB
2014-07-27 23:13:17
coq_8.6-5build1.debian.tar.xz
21.35KB
2017-10-28 14:39:28
coq_8.6-5build1.dsc
2.35KB
2017-10-28 14:39:28
coq_8.6-5build1_amd64.deb
16.86MB
2017-10-28 15:34:41
coq_8.6-5build1_i386.deb
16.16MB
2017-10-28 15:34:51
coq_8.6.orig.tar.gz
4.78MB
2016-12-28 17:13:41
coq_8.11.0-1.debian.tar.xz
30.93KB
2020-03-06 07:53:17
coq_8.11.0-1.dsc
2.44KB
2020-03-06 07:53:16
coq_8.11.0-1_amd64.deb
73.04MB
2020-03-06 08:38:18
coq_8.11.0.orig.tar.gz
5.56MB
2020-03-06 07:53:17
coq_8.15.0+dfsg-2.debian.tar.xz
38.74KB
2022-02-05 17:49:53
coq_8.15.0+dfsg-2.dsc
2.54KB
2022-02-05 17:49:53
coq_8.15.0+dfsg-2_amd64.deb
90.97MB
2022-02-05 23:52:00
coq_8.15.0+dfsg.orig.tar.xz
4.45MB
2022-01-17 23:14:25
coq_8.18.0+dfsg-1build2.debian.tar.xz
32.55KB
2024-03-31 18:36:47
coq_8.18.0+dfsg-1build2.dsc
2.62KB
2024-03-31 18:36:47
coq_8.18.0+dfsg-1build2_amd64.deb
91.49MB
2024-03-31 19:32:22
coq_8.18.0+dfsg.orig.tar.xz
4.64MB
2023-12-22 19:46:56
coq_8.19.1+dfsg-3build3.debian.tar.xz
32.24KB
2024-09-07 07:08:51
coq_8.19.1+dfsg-3build3.dsc
2.51KB
2024-09-07 07:08:51
coq_8.19.1+dfsg-3build3_amd64.deb
96.14MB
2024-09-07 07:09:30
coq_8.19.1+dfsg.orig.tar.bz2
5.33MB
2024-05-02 11:53:17
coq_8.20.0+dfsg-1.debian.tar.xz
29.49KB
2024-11-20 18:47:28
coq_8.20.0+dfsg-1.dsc
2.51KB
2024-11-20 18:47:28
coq_8.20.0+dfsg-1_amd64.deb
85.86MB
2024-11-20 18:48:17
coq_8.20.0+dfsg.orig.tar.xz
4.78MB
2024-11-20 18:47:28
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb
42.95MB
2022-02-05 23:51:58
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb
49.03MB
2024-03-31 19:32:21
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb
65.07MB
2024-09-07 07:09:29
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb
67.11MB
2024-11-20 18:48:16
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
25.82MB
2022-02-05 23:51:56
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb
26.40MB
2024-03-31 19:32:21
libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb
24.76MB
2024-09-07 07:09:30
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb
25.50MB
2024-11-20 18:48:17
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
3.49MB
2014-01-19 23:58:43
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb
3.48MB
2014-01-19 23:58:55
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb
3.50MB
2015-11-04 14:04:32
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb
3.56MB
2015-11-04 13:39:45
libcoq-ocaml-dev_8.6-5build1_amd64.deb
13.18MB
2017-10-28 15:34:40
libcoq-ocaml-dev_8.6-5build1_i386.deb
13.16MB
2017-10-28 15:34:50
libcoq-ocaml-dev_8.11.0-1_amd64.deb
15.32MB
2020-03-06 08:38:21
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
1.51MB
2014-01-19 23:58:43
libcoq-ocaml_8.4pl3dfsg-1_i386.deb
1.37MB
2014-01-19 23:58:54
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb
1.43MB
2015-11-04 14:04:31
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb
1.33MB
2015-11-04 13:39:44
libcoq-ocaml_8.6-5build1_amd64.deb
3.40MB
2017-10-28 15:34:39
libcoq-ocaml_8.6-5build1_i386.deb
3.24MB
2017-10-28 15:34:51
libcoq-ocaml_8.11.0-1_amd64.deb
6.03MB
2020-03-06 08:38:20
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb
23.55MB
2022-02-05 23:51:58
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb
25.28MB
2024-03-31 19:32:20
libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb
25.77MB
2024-09-07 07:09:29
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb
25.73MB
2024-11-20 18:48:16