Related packages
PPA packages
Displaying first 10 packages out of 11 total| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| gappa | PPA for Guillaume Melquiond - Ubuntu Maverick | 0.16.0-1~ppa+maverick1 | None | |
| gappa | PPA for Guillaume Melquiond - Ubuntu Lucid | 0.15.1-1~ppa+lucid1 | None | |
| why3 | PPA for Guillaume Melquiond - Ubuntu Maverick | 0.70-1~ppa+maverick1 | None | |
| why3 | PPA for Guillaume Melquiond - Ubuntu Lucid | 0.70-1~ppa+lucid1 | None | |
| libgappa-coq | PPA for Guillaume Melquiond - Ubuntu Lucid | 0.16.0-1~ppa+lucid1 | None | |
| libgappa-coq | PPA for Guillaume Melquiond - Ubuntu Maverick | 0.16.0-1~ppa+maverick1 | None | |
| libinterval-coq | PPA for Guillaume Melquiond - Ubuntu Lucid | 0.13.0-1~ppa+lucid2 | None | |
| libinterval-coq | PPA for Guillaume Melquiond - Ubuntu Maverick | 0.13.0-1~ppa+maverick1 | None | |
| libflocq-coq | PPA for Guillaume Melquiond - Ubuntu Maverick | 1.4.0-1~ppa+maverick2 | None | |
| libflocq-coq | PPA for Guillaume Melquiond - Ubuntu Lucid | 1.4.0-1~ppa+lucid2 | None |
