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
76 → 150 of 191 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
|
8.6.1-1~groovy~ppa158 | Jason Gross () |
|
8.6.1-1~focal~ppa158 | Jason Gross () |
|
8.6.1-1~bionic~ppa158 | Jason Gross () |
|
8.6~beta1-1~xenial~ppa160 | Jason Gross () |
|
8.6~beta1-1~trusty~ppa160 | Jason Gross () |
|
8.6~beta1-1~precise~ppa160 | Jason Gross () |
|
8.6~beta1-1~hirsute~ppa160 | Jason Gross () |
|
8.6~beta1-1~groovy~ppa160 | Jason Gross () |
|
8.6~beta1-1~focal~ppa160 | Jason Gross () |
|
8.6~beta1-1~bionic~ppa160 | Jason Gross () |
|
8.6~rc1-1~xenial~ppa160 | Jason Gross () |
|
8.6~rc1-1~trusty~ppa160 | Jason Gross () |
|
8.6~rc1-1~precise~ppa160 | Jason Gross () |
|
8.6~rc1-1~hirsute~ppa160 | Jason Gross () |
|
8.6~rc1-1~groovy~ppa160 | Jason Gross () |
|
8.6~rc1-1~focal~ppa160 | Jason Gross () |
|
8.6~rc1-1~bionic~ppa160 | Jason Gross () |
|
8.7~beta1-1~xenial~ppa158 | Jason Gross () |
|
8.7~beta1-1~trusty~ppa158 | Jason Gross () |
|
8.7~beta1-1~precise~ppa158 | Jason Gross () |
|
8.7~beta1-1~hirsute~ppa158 | Jason Gross () |
|
8.7~beta1-1~groovy~ppa158 | Jason Gross () |
|
8.7~beta1-1~focal~ppa158 | Jason Gross () |
|
8.7~beta1-1~bionic~ppa158 | Jason Gross () |
|
8.7~beta2-1~xenial~ppa158 | Jason Gross () |
|
8.7~beta2-1~trusty~ppa158 | Jason Gross () |
|
8.7~beta2-1~precise~ppa158 | Jason Gross () |
|
8.7~beta2-1~hirsute~ppa158 | Jason Gross () |
|
8.7~beta2-1~groovy~ppa158 | Jason Gross () |
|
8.7~beta2-1~focal~ppa158 | Jason Gross () |
|
8.7~beta2-1~bionic~ppa158 | Jason Gross () |
|
8.7.0-1~xenial~ppa158 | Jason Gross () |
|
8.7.0-1~trusty~ppa158 | Jason Gross () |
|
8.7.0-1~precise~ppa158 | Jason Gross () |
|
8.7.0-1~hirsute~ppa158 | Jason Gross () |
|
8.7.0-1~groovy~ppa158 | Jason Gross () |
|
8.7.0-1~focal~ppa158 | Jason Gross () |
|
8.7.0-1~bionic~ppa158 | Jason Gross () |
|
8.7.1-1~xenial~ppa158 | Jason Gross () |
|
8.7.1-1~trusty~ppa158 | Jason Gross () |
|
8.7.1-1~precise~ppa158 | Jason Gross () |
|
8.7.1-1~hirsute~ppa158 | Jason Gross () |
|
8.7.1-1~groovy~ppa158 | Jason Gross () |
|
8.7.1-1~focal~ppa158 | Jason Gross () |
|
8.7.1-1~bionic~ppa158 | Jason Gross () |
|
8.7.2-1~xenial~ppa158 | Jason Gross () |
|
8.7.2-1~trusty~ppa158 | Jason Gross () |
|
8.7.2-1~precise~ppa158 | Jason Gross () |
|
8.7.2-1~hirsute~ppa158 | Jason Gross () |
|
8.7.2-1~groovy~ppa158 | Jason Gross () |
|
8.7.2-1~focal~ppa158 | Jason Gross () |
|
8.7.2-1~bionic~ppa158 | Jason Gross () |
|
8.8~beta1-1~xenial~ppa158 | Jason Gross () |
|
8.8~beta1-1~trusty~ppa158 | Jason Gross () |
|
8.8~beta1-1~precise~ppa158 | Jason Gross () |
|
8.8~beta1-1~hirsute~ppa158 | Jason Gross () |
|
8.8~beta1-1~groovy~ppa158 | Jason Gross () |
|
8.8~beta1-1~focal~ppa158 | Jason Gross () |
|
8.8~beta1-1~bionic~ppa158 | Jason Gross () |
|
8.8.0-1~xenial~ppa158 | Jason Gross () |
|
8.8.0-1~trusty~ppa158 | Jason Gross () |
|
8.8.0-1~precise~ppa158 | Jason Gross () |
|
8.8.0-1~hirsute~ppa158 | Jason Gross () |
|
8.8.0-1~groovy~ppa158 | Jason Gross () |
|
8.8.0-1~focal~ppa158 | Jason Gross () |
|
8.8.0-1~bionic~ppa158 | Jason Gross () |
|
8.8.1-1~xenial~ppa158 | Jason Gross () |
|
8.8.1-1~trusty~ppa158 | Jason Gross () |
|
8.8.1-1~precise~ppa158 | Jason Gross () |
|
8.8.1-1~hirsute~ppa158 | Jason Gross () |
|
8.8.1-1~groovy~ppa158 | Jason Gross () |
|
8.8.1-1~focal~ppa158 | Jason Gross () |
|
8.8.1-1~bionic~ppa158 | Jason Gross () |
|
8.8.2-1~xenial~ppa158 | Jason Gross () |
|
8.8.2-1~trusty~ppa158 | Jason Gross () |
76 → 150 of 191 results | First • Previous • Next • Last |