Coq Daily Builds (v8.13)
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.13-daily to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jgross-h/coq-8.13-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 |
|---|---|---|
|
|
8.13~gitubuntu1~202211111523+22024-0~daily344-02e434a52f~ubuntu23.04.1 (Newer version available) | Jason Gross () |
|
|
8.13~gitubuntu1~202211111523+22024-0~daily344-02e434a52f~ubuntu22.04.1 (Newer version available) | Jason Gross () |
|
|
8.13~gitubuntu1~202211111522+22024-0~daily344-02e434a52f~ubuntu22.10.1 (Newer version available) | Jason Gross () |
|
|
8.13~gitubuntu1~202207012321+22024-0~daily344-02e434a52f~ubuntu21.10.1 | Jason Gross () |
|
|
8.13~gitubuntu1~202207012321+22024-0~daily341-02e434a52f~ubuntu20.04.1 | Jason Gross () |
|
|
8.13~gitubuntu1~202207012321+22024-0~daily341-02e434a52f~ubuntu18.04.1 | Jason Gross () |
|
|
8.13~gitubuntu1~202207012321+22024-0~daily341-02e434a52f~ubuntu16.04.1 | Jason Gross () |
|
|
8.13~gitubuntu1~202207012321+22024-0~daily341-02e434a52f~ubuntu14.04.1 | Jason Gross () |
|
|
8.13~gitubuntu1~202111102214+22023-0~daily343-34da65afbe~ubuntu21.04.1 | Jason Gross () |
|
|
8.13~gitubuntu1~202104011937+22023-0~daily343-34da65afbe~ubuntu20.10.1 | Jason Gross () |
|
|
8.13~gitubuntu1~202104011937+22023-0~daily341-34da65afbe~ubuntu12.04.1 | Jason Gross () |
|
|
1.8.1-1build3.1~xenial~ppa12 | Jason Gross () |
|
|
1.8.1-1build3.1~trusty~ppa12 | Jason Gross () |
|
|
1.8.1-1build3.1~precise~ppa12 | Jason Gross () |
|
|
1.8.1-1build3.1~bionic~ppa12 | Jason Gross () |
|
|
2:6.1.0+dfsg-2~ubuntu12.04.1~ppa13 | 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 () |
|
|
1.11-1.1~xenial~ppa13 | Jason Gross () |
|
|
1.11-1.1~trusty~ppa13 | Jason Gross () |
|
|
1.11-1.1~precise~ppa13 | Jason Gross () |
|
|
1.11-1.1~groovy~ppa13 | Jason Gross () |
|
|
1.11-1.1~focal~ppa13 | Jason Gross () |
|
|
1.11-1.1~bionic~ppa13 | 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 → 32 of 32 results | First • Previous • Next • Last |
