coq-ocaml42
PPA description
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:grand-edgemaster/coq-ocaml42 to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:grand-edgemaster/coq-ocaml42
sudo apt update
For questions and bugs with software in this PPA please contact Edgemaster.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
| 1 → 4 of 4 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
6.12-1~ppa1 | Edgemaster () |
|
|
8.4pl5-1~noextras~ppa5~ubuntu12.04.1 | Edgemaster () |
|
|
1.5.5-1~ppa1 | Edgemaster () |
|
|
2.18-1~precise1~ppa1 | Edgemaster () |
| 1 → 4 of 4 results | First • Previous • Next • Last |
