Coq Daily Builds (v8.12)
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.12-daily to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jgross-h/coq-8.12-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 → 24 of 24 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
8.12~gitubuntu1~202206232327+21623-0~daily332-25fcbe6c68~ubuntu22.04.1 (Newer version available) | Jason Gross () |
|
|
8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1 | Jason Gross () |
|
|
8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu16.04.1 | Jason Gross () |
|
|
8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu14.04.1 | Jason Gross () |
|
|
8.12~gitubuntu1~202206232326+21623-0~daily332-25fcbe6c68~ubuntu22.10.1 (Newer version available) | Jason Gross () |
|
|
8.12~gitubuntu1~202206232326+21623-0~daily332-25fcbe6c68~ubuntu21.10.1 | Jason Gross () |
|
|
8.12~gitubuntu1~202206232326+21623-0~daily332-25fcbe6c68~ubuntu20.04.1 | Jason Gross () |
|
|
8.12~gitubuntu1~202111102213+21622-0~daily332-e64a5adb4a~ubuntu21.04.1 | Jason Gross () |
|
|
8.12~gitubuntu1~202102031431+21622-0~daily335-e64a5adb4a~ubuntu12.04.1 | Jason Gross () |
|
|
8.12~gitubuntu1~202102031426+21622-0~daily332-e64a5adb4a~ubuntu20.10.1 | Jason Gross () |
|
|
8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1 | Jason Gross () |
|
|
1.7.3-2~ubuntu16.04.1~ppa5 | Jason Gross () |
|
|
1.7.3-2~ubuntu14.04.1~ppa5 | Jason Gross () |
|
|
1.7.3-2~ubuntu12.04.1~ppa5 | Jason Gross () |
|
|
2.32-1.1~xenial~ppa5 | Jason Gross () |
|
|
2.32-1.1~trusty~ppa5 | Jason Gross () |
|
|
2.32-1.1~precise~ppa5 | Jason Gross () |
|
|
20180614-1~ubuntu12.04.1~ppa5 | Jason Gross () |
|
|
4.05.0-10ubuntu2.1~xenial~ppa5 | Jason Gross () |
|
|
4.05.0-10ubuntu2.1~trusty~ppa5 | Jason Gross () |
|
|
4.05.0-10ubuntu2.1~precise~ppa5 | Jason Gross () |
|
|
0.11.0-3build1~ubuntu16.04.1~ppa5 | Jason Gross () |
|
|
0.11.0-3build1~ubuntu14.04.1~ppa5 | Jason Gross () |
|
|
0.11.0-3build1~ubuntu12.04.1~ppa5 | Jason Gross () |
| 1 → 24 of 24 results | First • Previous • Next • Last |
