Many Coq Versions
PPA description
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:jgross-h/many-coq-versions to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jgross-h/many-coq-versions 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
151 → 191 of 191 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
|
8.8.2-1~precise~ppa158 | Jason Gross () |
|
8.8.2-1~hirsute~ppa158 | Jason Gross () |
|
8.8.2-1~groovy~ppa158 | Jason Gross () |
|
8.8.2-1~focal~ppa158 | Jason Gross () |
|
8.8.2-1~bionic~ppa158 | Jason Gross () |
|
8.9~beta1-1~xenial~ppa159 | Jason Gross () |
|
8.9~beta1-1~trusty~ppa159 | Jason Gross () |
|
8.9~beta1-1~precise~ppa158 | Jason Gross () |
|
8.9~beta1-1~hirsute~ppa158 | Jason Gross () |
|
8.9~beta1-1~groovy~ppa158 | Jason Gross () |
|
8.9~beta1-1~focal~ppa159 | Jason Gross () |
|
8.9~beta1-1~bionic~ppa158 | Jason Gross () |
|
8.9.0-1~xenial~ppa159 | Jason Gross () |
|
8.9.0-1~trusty~ppa159 | Jason Gross () |
|
8.9.0-1~precise~ppa158 | Jason Gross () |
|
8.9.0-1~hirsute~ppa158 | Jason Gross () |
|
8.9.0-1~groovy~ppa158 | Jason Gross () |
|
8.9.0-1~focal~ppa159 | Jason Gross () |
|
8.9.0-1~bionic~ppa158 | Jason Gross () |
|
8.9.1-1~xenial~ppa159 | Jason Gross () |
|
8.9.1-1~trusty~ppa159 | Jason Gross () |
|
8.9.1-1~precise~ppa158 | Jason Gross () |
|
8.9.1-1~hirsute~ppa158 | Jason Gross () |
|
8.9.1-1~groovy~ppa158 | Jason Gross () |
|
8.9.1-1~focal~ppa159 | Jason Gross () |
|
8.9.1-1~bionic~ppa158 | 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.8.6-1build2~ubuntu14.04.1~ppa1 | Jason Gross () |
|
1.8.6-1build2~ubuntu12.04.1~ppa1 | Jason Gross () |
151 → 191 of 191 results | First • Previous • Next • Last |