Coq Daily Builds (v8.8)
PPA description
Various daily builds of Coq (v8.8)
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.8-daily to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jgross-h/coq-8.8-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 |
---|---|---|
|
4.02.1+3-2~ubuntu14.04.1~ppa1 | Jason Gross () |
|
4.02.1+3-2~ubuntu12.04.1~ppa1 | Jason Gross () |
|
6.16-1~ubuntu14.04.1~ppa1 | Jason Gross () |
|
6.16-1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.10.1 | Jason Gross () |
|
8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1 (Newer version available) | Jason Gross () |
|
8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu21.10.1 | Jason Gross () |
|
8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1 (Newer version available) | Jason Gross () |
|
8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu18.04.1 | Jason Gross () |
|
8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1 | Jason Gross () |
|
8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1 | Jason Gross () |
|
8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1 | Jason Gross () |
|
8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1 | Jason Gross () |
|
8.8~git~202102031441+19176-0~daily310-0ed45a5994~ubuntu12.04.1 | Jason Gross () |
|
8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1 | Jason Gross () |
|
8.8~git~201901221908+19176-0~daily309~ubuntu19.04.1 | Jason Gross () |
|
8.8~git~201809261252+19176-0~daily309~ubuntu18.10.1 | Jason Gross () |
|
8.8~git~201807152048+19093-0~daily309~ubuntu17.10.1 | Jason Gross () |
|
1.6.2-1~ubuntu14.04.1~ppa1 | Jason Gross () |
|
1.6.2-1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
2.28-1~ubuntu14.04.1~ppa1 | Jason Gross () |
|
2.28-1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
1:1.05-2~ubuntu14.04.1~ppa1 | Jason Gross () |
|
1:1.05-2~ubuntu12.04.1~ppa1 | Jason Gross () |
|
2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1 | Jason Gross () |
|
2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
8.06.0+dfsg-3~ubuntu14.04.1~ppa1 | Jason Gross () |
|
8.06.0+dfsg-3~ubuntu12.04.1~ppa1 | Jason Gross () |
|
20141014-1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
4.02.3-6ubuntu2~ubuntu14.04.1~ppa1 | Jason Gross () |
|
4.02.3-6ubuntu2~ubuntu12.04.1~ppa1 | Jason Gross () |
|
1.8.6-1build2~ubuntu14.04.1~ppa1 | Jason Gross () |
|
1.8.6-1build2~ubuntu12.04.1~ppa1 | Jason Gross () |
1 → 33 of 33 results | First • Previous • Next • Last |