Temp ppa for testing Coq with a new ocaml (2)
PPA description
temp
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:jgross-h/test-coq-new-ocaml-temp2 to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jgross-h/test-coq-new-ocaml-temp2 sudo apt update
For questions and bugs with software in this PPA please contact Jason Gross.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 28 of 28 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
|
3.18.0-2ubuntu3.1~ubuntu14.04.1~ppa2 | Jason Gross () |
|
3.18.0-2ubuntu3.1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
2.18.1-2ubuntu1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
2.18.0-1~ubuntu14.04.1~ppa2 | Jason Gross () |
|
2.18.0-1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
1.14.6-1~ubuntu14.04.1~ppa2 | Jason Gross () |
|
1.14.6-1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
2.32.2-1ubuntu1.6~ubuntu12.04.1~ppa2 | Jason Gross () |
|
2.48.2-0ubuntu4.1~ubuntu14.04.1~ppa2 | Jason Gross () |
|
2.48.2-0ubuntu4.1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
1.46.0-3ubuntu1~ubuntu14.04.1~ppa2 | Jason Gross () |
|
1.46.0-3ubuntu1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
3.18.9-1ubuntu3.3~ubuntu14.04.1~ppa2 | Jason Gross () |
|
3.18.9-1ubuntu3.3~ubuntu12.04.1~ppa2 | Jason Gross () |
|
1.25-1ubuntu1.1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
1.0.1-1ubuntu0.1~ubuntu14.04.1~ppa2 | Jason Gross () |
|
1.0.1-1ubuntu0.1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
1.3.1-1ubuntu0.16.04.2~ubuntu12.04.1~ppa2 | Jason Gross () |
|
0.5.0-1ubuntu2.1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
0.26.3+16.04.20170605-0ubuntu1.1~ubuntu14.04.1~ppa2 | Jason Gross () |
|
0.26.3+16.04.20170605-0ubuntu1.1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
1.38.1-1~ubuntu14.04.1~ppa2 | Jason Gross () |
|
1.38.1-1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
2:8.38-3.1~ubuntu14.04.1~ppa2 | Jason Gross () |
|
2:8.38-3.1~ubuntu12.04.1~ppa2 | Jason Gross () |
|
5.22.1-9ubuntu0.6~ubuntu12.04.1~ppa2 | Jason Gross () |
|
1.12.0-1~ubuntu16.04.3~ubuntu14.04.1~ppa2 | Jason Gross () |
|
1.12.0-1~ubuntu16.04.3~ubuntu12.04.1~ppa2 | Jason Gross () |
1 → 28 of 28 results | First • Previous • Next • Last |