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 → 4 of 4 results | First • Previous • Next • Last |
| PPA name | Description | Sources | Binaries |
|---|---|---|---|
| PPA for CVC3 | CVC3 packages | 1 | 37 |
| CVC4 SVN builds | Unstable nightly builds of CVC4 (http://cs.nyu.edu/acsys/cvc4) | 2 | 15 |
| gpuverify-smt | SMT Solvers for GPUVerify | 2 | 32 |
| playground | a scratch area | 1 | 12 |
| 1 → 4 of 4 results | First • Previous • Next • Last |
