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
1 → 75 of 191 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
camlp4 | 4.02.1+3-2~ubuntu14.04.1~ppa1 | Jason Gross () |
camlp4 | 4.02.1+3-2~ubuntu12.04.1~ppa1 | Jason Gross () |
camlp5 | 6.16-1~ubuntu14.04.1~ppa1 | Jason Gross () |
camlp5 | 6.16-1~ubuntu12.04.1~ppa1 | Jason Gross () |
coq-8.17.0 | 8.17.0-1~lunar~ppa200 | Jason Gross () |
coq-8.17.0 | 8.17.0-1~jammy~ppa200 | Jason Gross () |
coq-8.17.1 | 8.17.1-1~lunar~ppa200 | Jason Gross () |
coq-8.17.1 | 8.17.1-1~jammy~ppa200 | Jason Gross () |
coq-8.5 | 8.5-1~xenial~ppa158 | Jason Gross () |
coq-8.5 | 8.5-1~trusty~ppa158 | Jason Gross () |
coq-8.5 | 8.5-1~precise~ppa158 | Jason Gross () |
coq-8.5 | 8.5-1~hirsute~ppa158 | Jason Gross () |
coq-8.5 | 8.5-1~groovy~ppa158 | Jason Gross () |
coq-8.5 | 8.5-1~focal~ppa158 | Jason Gross () |
coq-8.5 | 8.5-1~bionic~ppa158 | Jason Gross () |
coq-8.5beta1 | 8.5~beta1-1~xenial~ppa158 | Jason Gross () |
coq-8.5beta1 | 8.5~beta1-1~trusty~ppa158 | Jason Gross () |
coq-8.5beta1 | 8.5~beta1-1~precise~ppa158 | Jason Gross () |
coq-8.5beta1 | 8.5~beta1-1~hirsute~ppa158 | Jason Gross () |
coq-8.5beta1 | 8.5~beta1-1~groovy~ppa158 | Jason Gross () |
coq-8.5beta1 | 8.5~beta1-1~focal~ppa158 | Jason Gross () |
coq-8.5beta1 | 8.5~beta1-1~bionic~ppa158 | Jason Gross () |
coq-8.5beta2 | 8.5~beta2-1~xenial~ppa158 | Jason Gross () |
coq-8.5beta2 | 8.5~beta2-1~trusty~ppa158 | Jason Gross () |
coq-8.5beta2 | 8.5~beta2-1~precise~ppa158 | Jason Gross () |
coq-8.5beta2 | 8.5~beta2-1~hirsute~ppa158 | Jason Gross () |
coq-8.5beta2 | 8.5~beta2-1~groovy~ppa158 | Jason Gross () |
coq-8.5beta2 | 8.5~beta2-1~focal~ppa158 | Jason Gross () |
coq-8.5beta2 | 8.5~beta2-1~bionic~ppa158 | Jason Gross () |
coq-8.5beta3 | 8.5~beta3-1~xenial~ppa158 | Jason Gross () |
coq-8.5beta3 | 8.5~beta3-1~trusty~ppa158 | Jason Gross () |
coq-8.5beta3 | 8.5~beta3-1~precise~ppa158 | Jason Gross () |
coq-8.5beta3 | 8.5~beta3-1~hirsute~ppa158 | Jason Gross () |
coq-8.5beta3 | 8.5~beta3-1~groovy~ppa158 | Jason Gross () |
coq-8.5beta3 | 8.5~beta3-1~focal~ppa158 | Jason Gross () |
coq-8.5beta3 | 8.5~beta3-1~bionic~ppa158 | Jason Gross () |
coq-8.5pl1 | 8.5pl1-1~xenial~ppa158 | Jason Gross () |
coq-8.5pl1 | 8.5pl1-1~trusty~ppa158 | Jason Gross () |
coq-8.5pl1 | 8.5pl1-1~precise~ppa158 | Jason Gross () |
coq-8.5pl1 | 8.5pl1-1~hirsute~ppa158 | Jason Gross () |
coq-8.5pl1 | 8.5pl1-1~groovy~ppa158 | Jason Gross () |
coq-8.5pl1 | 8.5pl1-1~focal~ppa158 | Jason Gross () |
coq-8.5pl1 | 8.5pl1-1~bionic~ppa158 | Jason Gross () |
coq-8.5pl2 | 8.5pl2-1~xenial~ppa158 | Jason Gross () |
coq-8.5pl2 | 8.5pl2-1~trusty~ppa158 | Jason Gross () |
coq-8.5pl2 | 8.5pl2-1~precise~ppa158 | Jason Gross () |
coq-8.5pl2 | 8.5pl2-1~hirsute~ppa158 | Jason Gross () |
coq-8.5pl2 | 8.5pl2-1~groovy~ppa158 | Jason Gross () |
coq-8.5pl2 | 8.5pl2-1~focal~ppa158 | Jason Gross () |
coq-8.5pl2 | 8.5pl2-1~bionic~ppa158 | Jason Gross () |
coq-8.5pl3 | 8.5pl3-1~xenial~ppa158 | Jason Gross () |
coq-8.5pl3 | 8.5pl3-1~trusty~ppa158 | Jason Gross () |
coq-8.5pl3 | 8.5pl3-1~precise~ppa158 | Jason Gross () |
coq-8.5pl3 | 8.5pl3-1~hirsute~ppa158 | Jason Gross () |
coq-8.5pl3 | 8.5pl3-1~groovy~ppa158 | Jason Gross () |
coq-8.5pl3 | 8.5pl3-1~focal~ppa158 | Jason Gross () |
coq-8.5pl3 | 8.5pl3-1~bionic~ppa158 | Jason Gross () |
coq-8.5rc1 | 8.5~rc1-1~xenial~ppa158 | Jason Gross () |
coq-8.5rc1 | 8.5~rc1-1~trusty~ppa158 | Jason Gross () |
coq-8.5rc1 | 8.5~rc1-1~precise~ppa158 | Jason Gross () |
coq-8.5rc1 | 8.5~rc1-1~hirsute~ppa158 | Jason Gross () |
coq-8.5rc1 | 8.5~rc1-1~groovy~ppa158 | Jason Gross () |
coq-8.5rc1 | 8.5~rc1-1~focal~ppa158 | Jason Gross () |
coq-8.5rc1 | 8.5~rc1-1~bionic~ppa158 | Jason Gross () |
coq-8.6 | 8.6-1~xenial~ppa158 | Jason Gross () |
coq-8.6 | 8.6-1~trusty~ppa158 | Jason Gross () |
coq-8.6 | 8.6-1~precise~ppa158 | Jason Gross () |
coq-8.6 | 8.6-1~hirsute~ppa158 | Jason Gross () |
coq-8.6 | 8.6-1~groovy~ppa158 | Jason Gross () |
coq-8.6 | 8.6-1~focal~ppa158 | Jason Gross () |
coq-8.6 | 8.6-1~bionic~ppa158 | Jason Gross () |
coq-8.6.1 | 8.6.1-1~xenial~ppa158 | Jason Gross () |
coq-8.6.1 | 8.6.1-1~trusty~ppa158 | Jason Gross () |
coq-8.6.1 | 8.6.1-1~precise~ppa158 | Jason Gross () |
coq-8.6.1 | 8.6.1-1~hirsute~ppa158 | Jason Gross () |
1 → 75 of 191 results | First • Previous • Next • Last |