Personal Package Archives for Ubuntu
Personal Package Archives (PPA) allow you to upload Ubuntu source packages to be built and published as an apt repository by Launchpad. You can find out more about PPAs and how to use them in our help page.
| 1 → 14 of 14 results | First • Previous • Next • Last |
| PPA name | Description | Sources | Binaries |
|---|---|---|---|
| Coq Daily Builds | Various daily builds of Coq | 10 | 61 |
| Coq Daily Builds (master) | Various daily builds of Coq (master) | 37 | 406 |
| Coq Daily Builds (trunk) | Various daily builds of Coq (trunk) | 11 | 143 |
| Coq Daily Builds (v8.5) | Various daily builds of Coq (v8.5) | 11 | 134 |
| Coq Daily Builds (v8.6) | Various daily builds of Coq (v8.6) | 11 | 129 |
| Coq Daily Builds (v8.7) | Various daily builds of Coq (v8.7) | 11 | 168 |
| Coq Daily Builds (v8.8) | Various daily builds of Coq (v8.8) | 11 | 119 |
| Coq Daily Builds (v8.9) | 11 | 114 | |
| Coq backports | Backports of newer versions of Coq | 10 | 71 |
| GCC8 Xenial 3 | 23 | 214 | |
| Many Coq Versions | 36 | 697 | |
| Temp ppa for testing Coq with a new ocaml (3) | 12 | 118 | |
| Zak's build-dependency PPA | Packages and backports that are required for building those in... | 11 | 43 |
| bfgminer upgrade for ubutu 14.04 | 72 | 171 |
| 1 → 14 of 14 results | First • Previous • Next • Last |
