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 → 11 of 11 results | First • Previous • Next • Last |
| PPA name | Description | Sources | Binaries |
|---|---|---|---|
| OCaml backports | 25 | 226 | |
| OCaml backports | Newer versions of OCaml libraries for building Haxe. | 25 | 199 |
| Many Coq Versions with OCaml 4.11 | 53 | 1008 | |
| Many Coq Versions with OCaml 4.08 | 48 | 1127 | |
| Coq Daily Builds (v8.16) | 8 | 122 | |
| Coq Daily Builds (v8.17) | 8 | 88 | |
| Coq Daily Builds (v8.18) | 8 | 75 | |
| OCaml 4.08 backports | 2 | 22 | |
| Coq Daily Builds (v8.15) | 7 | 116 | |
| Coq Daily Builds (v8.14) | 7 | 121 | |
| google-drive-ocamlfuse-beta | Mount Google Drive on Ubuntu (via FUSE): Beta versions | 10 | 68 |
| 1 → 11 of 11 results | First • Previous • Next • Last |
