coq-ocaml41
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-ocaml41 to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:grand-edgemaster/coq-ocaml41
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 → 6 of 6 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
6.11+dfsg-3~precise1~ppa1 | Edgemaster () |
|
|
8.4pl4dfsg-1~precise1~ppa1 | Edgemaster () |
|
|
1.4.1-1~precise1~ppa1 | Edgemaster () |
|
|
2.18-1~precise1~ppa1 | Edgemaster () |
|
|
1:1.05-1~precise1~ppa1 | Edgemaster () |
|
|
2.16.0+dfsg-1~precise1~ppa1 | Edgemaster () |
| 1 → 6 of 6 results | First • Previous • Next • Last |
