| Non Official Coq 8.5 packages |
Non Official Coq 8.5 packages, use at your own peril!
The sou... |
3 |
31 |
| Coq Daily Builds (master) |
Various daily builds of Coq (master) |
37 |
406 |
| Coq Daily Builds (trunk) |
Various daily builds of Coq (trunk) |
11 |
143 |
| Coq Daily Builds (v8.5) |
Various daily builds of Coq (v8.5) |
11 |
134 |
| Coq Daily Builds (v8.6) |
Various daily builds of Coq (v8.6) |
11 |
129 |
| Coq Daily Builds (v8.7) |
Various daily builds of Coq (v8.7) |
11 |
168 |
| Coq Daily Builds (v8.8) |
Various daily builds of Coq (v8.8) |
11 |
119 |
| Coq backports |
Backports of newer versions of Coq |
10 |
71 |
| Coq for Homotopy Type Theory |
Coq extended with support for Homotopy Type Theory.
8.5~stabl... |
1 |
20 |
| Coq with Mtac |
Coq compiled with support for Mtac (http://plv.mpi-sws.org/mtac/) |
1 |
20 |
| Many Coq Versions with OCaml 4.05 (testing) |
Temp ppa for testing Coq with OCaml 4.05 |
13 |
178 |
| Coq Daily Builds |
Various daily builds of Coq |
10 |
61 |
| PPA for Guillaume Melquiond |
Here are packages with reported bugfixes that are not yet incl... |
6 |
11 |
| PPA for Stéphane Glondu |
Archive for EXPERIMENTAL packages I maintain in Debian (and th... |
6 |
53 |
| Coq Versions with OCaml 3.1* |
|
11 |
54 |
| Coq Versions with OCaml 3.1* |
|
10 |
50 |
| Coq Daily Builds (v8.10) |
|
8 |
103 |
| Coq Daily Builds (v8.11) |
|
6 |
105 |
| Coq Daily Builds (v8.12) |
|
6 |
90 |
| Coq Daily Builds (v8.13) |
|
8 |
121 |
| Coq Daily Builds (v8.14) |
|
7 |
121 |
| Coq Daily Builds (v8.15) |
|
7 |
116 |
| Coq Daily Builds (v8.16) |
|
8 |
122 |
| Coq Daily Builds (v8.9) |
|
11 |
114 |
| Coq for Homotopy Type Theory (master) |
Tracks master branch, rather than release tags. Actually, this... |
1 |
15 |
| Many Coq Versions |
|
36 |
697 |
| Many Coq Versions with OCaml 4.05 |
|
30 |
661 |
| Many Coq Versions with OCaml 4.08 |
|
48 |
1127 |
| Many Coq Versions with OCaml 4.11 |
|
53 |
1008 |
| Personal PPA |
In this package I provide packages that are one of the followi... |
12 |
131 |
| Temp ppa for testing Coq with a new ocaml (3) |
|
12 |
118 |
| coq-ocaml41 |
|
6 |
22 |
| coq-ocaml42 |
|
4 |
9 |
| Coq Daily Builds (v8.17) |
|
8 |
88 |
| Coq Daily Builds (v8.18) |
|
8 |
75 |
