Coq Daily Builds (master)
PPA description
Various daily builds of Coq (master)
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:jgross-h/coq-master-daily to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jgross-h/coq-master-daily
sudo apt update
For questions and bugs with software in this PPA please contact Jason Gross.
PPA statistics
- Activity
- 170 updates added during the past month.
View package details
Overview of published packages
| 76 → 137 of 137 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
3.0~beta3-1.1~xenial~ppa5 | Jason Gross () |
|
|
3.0~beta3-1.1~trusty~ppa5 | Jason Gross () |
|
|
3.0~beta3-1.1~precise~ppa5 | Jason Gross () |
|
|
3.0~beta3-1~ubuntu18.04.1~ppa1 | Jason Gross () |
|
|
8.06.2+dfsg-1~ubuntu16.04.1~ppa4 | Jason Gross () |
|
|
8.06.2+dfsg-1~ubuntu14.04.1~ppa4 | Jason Gross () |
|
|
8.06.2+dfsg-1~ubuntu12.04.1~ppa4 | Jason Gross () |
|
|
20180614-1~ubuntu12.04.1~ppa1 | Jason Gross () |
|
|
1.3.5+dfsg-1ubuntu1.1~xenial~ppa4 | Jason Gross () |
|
|
1.3.5+dfsg-1ubuntu1.1~trusty~ppa4 | Jason Gross () |
|
|
1.3.5+dfsg-1ubuntu1.1~precise~ppa4 | Jason Gross () |
|
|
1.8.2-1ubuntu1~ubuntu12.04.1~ppa4 | Jason Gross () |
|
|
4.11.1-4.1~xenial~ppa1 | Jason Gross () |
|
|
4.11.1-4.1~trusty~ppa1 | Jason Gross () |
|
|
4.11.1-4.1~focal~ppa1 | Jason Gross () |
|
|
4.11.1-4.1~bionic~ppa1 | Jason Gross () |
|
|
4.08.1-8.1~precise~ppa16 | Jason Gross () |
|
|
1.5.1-1build1.1~xenial~ppa19 | Jason Gross () |
|
|
1.5.1-1build1.1~trusty~ppa19 | Jason Gross () |
|
|
1.5.1-1build1.1~focal~ppa19 | Jason Gross () |
|
|
1.5.1-1build1.1~bionic~ppa19 | Jason Gross () |
|
|
3.11.1-1build1.1~xenial~ppa19 | Jason Gross () |
|
|
3.11.1-1build1.1~trusty~ppa19 | Jason Gross () |
|
|
3.11.1-1build1.1~lunar~ppa19 | Jason Gross () |
|
|
3.11.1-1build1.1~jammy~ppa19 | Jason Gross () |
|
|
3.11.1-1build1.1~focal~ppa19 | Jason Gross () |
|
|
3.11.1-1build1.1~bionic~ppa19 | Jason Gross () |
|
|
2.9.1-1build1.1~impish~ppa19 | Jason Gross () |
|
|
2.7.0-1.1~precise~ppa16 | Jason Gross () |
|
|
1.7.3-2~ubuntu16.04.1~ppa4 | Jason Gross () |
|
|
1.7.3-2~ubuntu14.04.1~ppa4 | Jason Gross () |
|
|
1.7.3-2~ubuntu12.04.1~ppa4 | Jason Gross () |
|
|
1.2-1build2~ubuntu16.04.1~ppa4 | Jason Gross () |
|
|
1.2-1build2~ubuntu14.04.1~ppa4 | Jason Gross () |
|
|
1.2-1build2~ubuntu12.04.1~ppa4 | Jason Gross () |
|
|
1.11-1.1~xenial~ppa19 | Jason Gross () |
|
|
1.11-1.1~trusty~ppa19 | Jason Gross () |
|
|
1.11-1.1~precise~ppa17 | Jason Gross () |
|
|
1.11-1.1~groovy~ppa13 | Jason Gross () |
|
|
1.11-1.1~focal~ppa19 | Jason Gross () |
|
|
1.11-1.1~bionic~ppa19 | Jason Gross () |
|
|
0.14.0-1build3.1~xenial~ppa17 | Jason Gross () |
|
|
0.14.0-1build3.1~trusty~ppa17 | Jason Gross () |
|
|
0.14.0-1build3.1~precise~ppa16 | Jason Gross () |
|
|
0.14.0-1build3.1~focal~ppa17 | Jason Gross () |
|
|
0.14.0-1build3.1~bionic~ppa17 | Jason Gross () |
|
|
1.8.6-1build5~ubuntu16.04.1~ppa4 | Jason Gross () |
|
|
1.8.6-1build5~ubuntu14.04.1~ppa4 | Jason Gross () |
|
|
1.8.6-1build5~ubuntu12.04.1~ppa4 | Jason Gross () |
|
|
1.2.2-7~ubuntu16.04.1~ppa4 | Jason Gross () |
|
|
1.2.2-7~ubuntu14.04.1~ppa4 | Jason Gross () |
|
|
1.2.2-7~ubuntu12.04.1~ppa4 | Jason Gross () |
|
|
2.0.8-1~ubuntu16.04.1~ppa4 | Jason Gross () |
|
|
2.0.8-1~ubuntu14.04.1~ppa4 | Jason Gross () |
|
|
2.0.8-1~ubuntu12.04.1~ppa4 | Jason Gross () |
|
|
4.14.1+dfsg1-4.1~xenial~ppa5 | Jason Gross () |
|
|
4.14.1+dfsg1-4.1~trusty~ppa5 | Jason Gross () |
|
|
4.14.1+dfsg1-4.1~precise~ppa5 | Jason Gross () |
|
|
1.0.1-2.1~xenial~ppa4 | Jason Gross () |
|
|
1.0.1-2.1~trusty~ppa4 | Jason Gross () |
|
|
1.0.1-2.1~precise~ppa4 | Jason Gross () |
|
|
0.44.1-1~ubuntu12.04.1~ppa1 | Jason Gross () |
| 76 → 137 of 137 results | First • Previous • Next • Last |
