Coq Daily Builds (v8.14)
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/coq-8.14-daily to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jgross-h/coq-8.14-daily 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 → 33 of 33 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
coq | 8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1 | Jason Gross () |
coq | 8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.04.1 (Newer version available) | Jason Gross () |
coq | 8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1 (Newer version available) | Jason Gross () |
coq | 8.14~git~202207031839+22483-0~daily365-3430672962~ubuntu21.10.1 | Jason Gross () |
coq | 8.14~git~202207012322+22483-0~daily356-3430672962~ubuntu20.04.1 | Jason Gross () |
coq | 8.14~git~202207012322+22483-0~daily356-3430672962~ubuntu18.04.1 | Jason Gross () |
coq | 8.14~git~202207012322+22483-0~daily356-3430672962~ubuntu16.04.1 | Jason Gross () |
coq | 8.14~git~202207012321+22483-0~daily356-3430672962~ubuntu14.04.1 | Jason Gross () |
coq | 8.14~git~202201131948+22482-0~daily364-096ad81604~ubuntu21.04.1 | Jason Gross () |
findlib | 1.8.1-2.1~xenial~ppa1 | Jason Gross () |
findlib | 1.8.1-2.1~trusty~ppa1 | Jason Gross () |
findlib | 1.8.1-2.1~focal~ppa1 | Jason Gross () |
findlib | 1.8.1-2.1~bionic~ppa1 | Jason Gross () |
hevea | 2.32-3build1.1~xenial~ppa17 | Jason Gross () |
hevea | 2.32-3build1.1~trusty~ppa17 | Jason Gross () |
hevea | 2.32-3build1.1~focal~ppa17 | Jason Gross () |
hevea | 2.32-3build1.1~bionic~ppa17 | Jason Gross () |
ocaml | 4.11.1-4.1~xenial~ppa1 | Jason Gross () |
ocaml | 4.11.1-4.1~trusty~ppa1 | Jason Gross () |
ocaml | 4.11.1-4.1~focal~ppa1 | Jason Gross () |
ocaml | 4.11.1-4.1~bionic~ppa1 | Jason Gross () |
ocaml-dune | 2.7.0-1.1~xenial~ppa17 | Jason Gross () |
ocaml-dune | 2.7.0-1.1~trusty~ppa17 | Jason Gross () |
ocaml-dune | 2.7.0-1.1~focal~ppa17 | Jason Gross () |
ocaml-dune | 2.7.0-1.1~bionic~ppa17 | Jason Gross () |
ocaml-zarith | 1.11-1.1~xenial~ppa19 | Jason Gross () |
ocaml-zarith | 1.11-1.1~trusty~ppa19 | Jason Gross () |
ocaml-zarith | 1.11-1.1~focal~ppa19 | Jason Gross () |
ocaml-zarith | 1.11-1.1~bionic~ppa19 | Jason Gross () |
ocamlbuild | 0.14.0-1build3.1~xenial~ppa17 | Jason Gross () |
ocamlbuild | 0.14.0-1build3.1~trusty~ppa17 | Jason Gross () |
ocamlbuild | 0.14.0-1build3.1~focal~ppa17 | Jason Gross () |
ocamlbuild | 0.14.0-1build3.1~bionic~ppa17 | Jason Gross () |
1 → 33 of 33 results | First • Previous • Next • Last |