Coq backports
PPA description
Backports of newer versions of Coq
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:jgross-h/coq-backports to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jgross-h/coq-backports
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 → 19 of 19 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
4.02.1+3-2~ubuntu14.04.1~ppa1 | Jason Gross () |
|
|
4.02.1+3-2~ubuntu12.04.1~ppa1 | Jason Gross () |
|
|
6.16-1~ubuntu14.04.1~ppa1 | Jason Gross () |
|
|
6.16-1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
|
8.5-2build1~ubuntu14.04.1~ppa1 | Jason Gross () |
|
|
8.5-2build1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
|
1.6.2-1~ubuntu14.04.1~ppa1 | Jason Gross () |
|
|
1.6.2-1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
|
2.28-1~ubuntu14.04.1~ppa1 | Jason Gross () |
|
|
2.28-1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
|
1:1.05-2~ubuntu14.04.1~ppa1 | Jason Gross () |
|
|
1:1.05-2~ubuntu12.04.1~ppa1 | Jason Gross () |
|
|
2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1 | Jason Gross () |
|
|
2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
|
8.06.0+dfsg-3~ubuntu14.04.1~ppa1 | Jason Gross () |
|
|
8.06.0+dfsg-3~ubuntu12.04.1~ppa1 | Jason Gross () |
|
|
20141014-1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
|
4.02.3-6ubuntu2~ubuntu14.04.1~ppa1 | Jason Gross () |
|
|
4.02.3-6ubuntu2~ubuntu12.04.1~ppa1 | Jason Gross () |
| 1 → 19 of 19 results | First • Previous • Next • Last |
