Many Coq Versions with OCaml 4.05
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-ocaml-4-05 to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jgross-h/many-coq-versions-ocaml-4-05 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 182 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
coq-8.10+beta1 | 8.10~beta1-1~xenial~ppa151 | Jason Gross () |
coq-8.10+beta1 | 8.10~beta1-1~trusty~ppa151 | Jason Gross () |
coq-8.10+beta1 | 8.10~beta1-1~precise~ppa151 | Jason Gross () |
coq-8.10+beta1 | 8.10~beta1-1~hirsute~ppa151 | Jason Gross () |
coq-8.10+beta1 | 8.10~beta1-1~groovy~ppa151 | Jason Gross () |
coq-8.10+beta1 | 8.10~beta1-1~focal~ppa151 | Jason Gross () |
coq-8.10+beta1 | 8.10~beta1-1~bionic~ppa151 | Jason Gross () |
coq-8.10+beta2 | 8.10~beta2-1~xenial~ppa151 | Jason Gross () |
coq-8.10+beta2 | 8.10~beta2-1~trusty~ppa151 | Jason Gross () |
coq-8.10+beta2 | 8.10~beta2-1~precise~ppa151 | Jason Gross () |
coq-8.10+beta2 | 8.10~beta2-1~hirsute~ppa151 | Jason Gross () |
coq-8.10+beta2 | 8.10~beta2-1~groovy~ppa151 | Jason Gross () |
coq-8.10+beta2 | 8.10~beta2-1~focal~ppa151 | Jason Gross () |
coq-8.10+beta2 | 8.10~beta2-1~bionic~ppa151 | Jason Gross () |
coq-8.10+beta3 | 8.10~beta3-1~xenial~ppa151 | Jason Gross () |
coq-8.10+beta3 | 8.10~beta3-1~trusty~ppa151 | Jason Gross () |
coq-8.10+beta3 | 8.10~beta3-1~precise~ppa151 | Jason Gross () |
coq-8.10+beta3 | 8.10~beta3-1~hirsute~ppa151 | Jason Gross () |
coq-8.10+beta3 | 8.10~beta3-1~groovy~ppa151 | Jason Gross () |
coq-8.10+beta3 | 8.10~beta3-1~focal~ppa151 | Jason Gross () |
coq-8.10+beta3 | 8.10~beta3-1~bionic~ppa151 | Jason Gross () |
coq-8.10.0 | 8.10.0-1~xenial~ppa151 | Jason Gross () |
coq-8.10.0 | 8.10.0-1~trusty~ppa151 | Jason Gross () |
coq-8.10.0 | 8.10.0-1~precise~ppa151 | Jason Gross () |
coq-8.10.0 | 8.10.0-1~hirsute~ppa151 | Jason Gross () |
coq-8.10.0 | 8.10.0-1~groovy~ppa151 | Jason Gross () |
coq-8.10.0 | 8.10.0-1~focal~ppa151 | Jason Gross () |
coq-8.10.0 | 8.10.0-1~bionic~ppa151 | Jason Gross () |
coq-8.10.1 | 8.10.1-1~xenial~ppa151 | Jason Gross () |
coq-8.10.1 | 8.10.1-1~trusty~ppa151 | Jason Gross () |
coq-8.10.1 | 8.10.1-1~precise~ppa151 | Jason Gross () |
coq-8.10.1 | 8.10.1-1~hirsute~ppa151 | Jason Gross () |
coq-8.10.1 | 8.10.1-1~groovy~ppa151 | Jason Gross () |
coq-8.10.1 | 8.10.1-1~focal~ppa151 | Jason Gross () |
coq-8.10.1 | 8.10.1-1~bionic~ppa151 | Jason Gross () |
coq-8.10.2 | 8.10.2-1~xenial~ppa151 | Jason Gross () |
coq-8.10.2 | 8.10.2-1~trusty~ppa151 | Jason Gross () |
coq-8.10.2 | 8.10.2-1~precise~ppa151 | Jason Gross () |
coq-8.10.2 | 8.10.2-1~hirsute~ppa151 | Jason Gross () |
coq-8.10.2 | 8.10.2-1~groovy~ppa151 | Jason Gross () |
coq-8.10.2 | 8.10.2-1~focal~ppa151 | Jason Gross () |
coq-8.10.2 | 8.10.2-1~bionic~ppa151 | Jason Gross () |
coq-8.11+beta1 | 8.11~beta1-1~xenial~ppa151 | Jason Gross () |
coq-8.11+beta1 | 8.11~beta1-1~trusty~ppa151 | Jason Gross () |
coq-8.11+beta1 | 8.11~beta1-1~precise~ppa151 | Jason Gross () |
coq-8.11+beta1 | 8.11~beta1-1~hirsute~ppa151 | Jason Gross () |
coq-8.11+beta1 | 8.11~beta1-1~groovy~ppa151 | Jason Gross () |
coq-8.11+beta1 | 8.11~beta1-1~focal~ppa151 | Jason Gross () |
coq-8.11+beta1 | 8.11~beta1-1~bionic~ppa151 | Jason Gross () |
coq-8.11.0 | 8.11.0-1~xenial~ppa151 | Jason Gross () |
coq-8.11.0 | 8.11.0-1~trusty~ppa151 | Jason Gross () |
coq-8.11.0 | 8.11.0-1~precise~ppa151 | Jason Gross () |
coq-8.11.0 | 8.11.0-1~hirsute~ppa151 | Jason Gross () |
coq-8.11.0 | 8.11.0-1~groovy~ppa151 | Jason Gross () |
coq-8.11.0 | 8.11.0-1~focal~ppa151 | Jason Gross () |
coq-8.11.0 | 8.11.0-1~bionic~ppa151 | Jason Gross () |
coq-8.11.1 | 8.11.1-1~xenial~ppa151 | Jason Gross () |
coq-8.11.1 | 8.11.1-1~trusty~ppa151 | Jason Gross () |
coq-8.11.1 | 8.11.1-1~precise~ppa151 | Jason Gross () |
coq-8.11.1 | 8.11.1-1~hirsute~ppa151 | Jason Gross () |
coq-8.11.1 | 8.11.1-1~groovy~ppa151 | Jason Gross () |
coq-8.11.1 | 8.11.1-1~focal~ppa151 | Jason Gross () |
coq-8.11.1 | 8.11.1-1~bionic~ppa151 | Jason Gross () |
coq-8.11.2 | 8.11.2-1~xenial~ppa151 | Jason Gross () |
coq-8.11.2 | 8.11.2-1~trusty~ppa151 | Jason Gross () |
coq-8.11.2 | 8.11.2-1~precise~ppa151 | Jason Gross () |
coq-8.11.2 | 8.11.2-1~hirsute~ppa151 | Jason Gross () |
coq-8.11.2 | 8.11.2-1~groovy~ppa151 | Jason Gross () |
coq-8.11.2 | 8.11.2-1~focal~ppa151 | Jason Gross () |
coq-8.11.2 | 8.11.2-1~bionic~ppa151 | Jason Gross () |
coq-8.12+beta1 | 8.12~beta1-1~xenial~ppa151 | Jason Gross () |
coq-8.12+beta1 | 8.12~beta1-1~trusty~ppa151 | Jason Gross () |
coq-8.12+beta1 | 8.12~beta1-1~precise~ppa151 | Jason Gross () |
coq-8.12+beta1 | 8.12~beta1-1~hirsute~ppa151 | Jason Gross () |
coq-8.12+beta1 | 8.12~beta1-1~groovy~ppa151 | Jason Gross () |
1 → 75 of 182 results | First • Previous • Next • Last |