Coq Daily Builds (v8.10)
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.10-daily to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jgross-h/coq-8.10-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 → 32 of 32 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
camlp5 | 7.01-1build1.1~xenial~ppa5 | Jason Gross () |
camlp5 | 7.01-1build1.1~trusty~ppa5 | Jason Gross () |
camlp5 | 7.01-1build1.1~precise~ppa5 | Jason Gross () |
coq | 8.10~git~202206232325+20528-0~daily326-70a5e6f670~ubuntu22.04.1 (Newer version available) | Jason Gross () |
coq | 8.10~git~202206232324+20528-0~daily328-70a5e6f670~ubuntu18.04.1 | Jason Gross () |
coq | 8.10~git~202206232324+20528-0~daily328-70a5e6f670~ubuntu14.04.1 | Jason Gross () |
coq | 8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu21.10.1 | Jason Gross () |
coq | 8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1 (Newer version available) | Jason Gross () |
coq | 8.10~git~202206232323+20528-0~daily328-70a5e6f670~ubuntu16.04.1 | Jason Gross () |
coq | 8.10~git~202206232323+20528-0~daily326-70a5e6f670~ubuntu22.10.1 | Jason Gross () |
coq | 8.10~git~202102032207+20527-0~daily326-dca7b1d4d2~ubuntu21.04.1 | Jason Gross () |
coq | 8.10~git~202102031444+20527-0~daily326-dca7b1d4d2~ubuntu20.10.1 | Jason Gross () |
coq | 8.10~git~202102031442+20527-0~daily328-dca7b1d4d2~ubuntu12.04.1 | Jason Gross () |
coq | 8.10~git~202003132320+20527-0~daily325-dca7b1d~ubuntu19.10.1 | Jason Gross () |
coq | 8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu19.04.1 | Jason Gross () |
coq | 8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1 | Jason Gross () |
findlib | 1.7.3-2~ubuntu16.04.1~ppa5 | Jason Gross () |
findlib | 1.7.3-2~ubuntu14.04.1~ppa5 | Jason Gross () |
findlib | 1.7.3-2~ubuntu12.04.1~ppa5 | Jason Gross () |
hevea | 2.32-1.1~xenial~ppa5 | Jason Gross () |
hevea | 2.32-1.1~trusty~ppa5 | Jason Gross () |
hevea | 2.32-1.1~precise~ppa5 | Jason Gross () |
lablgtk3 | 3.0~beta3-1.1~xenial~ppa6 | Jason Gross () |
lablgtk3 | 3.0~beta3-1.1~cosmic~ppa5 | Jason Gross () |
lablgtk3 | 3.0~beta3-1.1~bionic~ppa5 | Jason Gross () |
libiberty | 20180614-1~ubuntu12.04.1~ppa5 | Jason Gross () |
ocaml | 4.05.0-10ubuntu2.1~xenial~ppa5 | Jason Gross () |
ocaml | 4.05.0-10ubuntu2.1~trusty~ppa5 | Jason Gross () |
ocaml | 4.05.0-10ubuntu2.1~precise~ppa5 | Jason Gross () |
ocamlbuild | 0.11.0-3build1~ubuntu16.04.1~ppa5 | Jason Gross () |
ocamlbuild | 0.11.0-3build1~ubuntu14.04.1~ppa5 | Jason Gross () |
ocamlbuild | 0.11.0-3build1~ubuntu12.04.1~ppa5 | Jason Gross () |
1 → 32 of 32 results | First • Previous • Next • Last |