Related packages
Maintained packages
8 packages| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| runlim | Debian Sid | 1.10-6 | None | |
| clasp | Ubuntu Oneiric | 2.0.1-1ubuntu1 | None | |
| runlim | Ubuntu Oneiric | 1.4-4 | None | |
| gringo | Ubuntu Oneiric | 3.0.3-4 | None | |
| coala | Ubuntu Oneiric | 1.0.1-3 | None | |
| clasp | Debian Sid | 2.0.1-1 | None | |
| gringo | Debian Sid | 3.0.3-4 | None | |
| coala | Debian Sid | 1.0.1-3 | None |
PPA packages
Displaying first 10 packages out of 93 total| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| clasp | PPA for ASP Systems - Ubuntu Oneiric | 2.0.5-1ubuntu1~oneiric2 | None | |
| clasp | PPA for ASP Systems - Ubuntu Natty | 2.0.5-1ubuntu1~natty2 | None | |
| clasp | PPA for ASP Systems - Ubuntu Maverick | 2.0.5-1ubuntu1~maverick2 | None | |
| clasp | PPA for ASP Systems - Ubuntu Lucid | 2.0.5-1ubuntu1~lucid2 | None | |
| gringo | PPA for ASP Systems - Ubuntu Oneiric | 3.0.4-1ubuntu1~oneiric1 | None | |
| dlv-installer | PPA for ASP Systems - Ubuntu Oneiric | 20111221~oneiric3 | None | |
| smodels | PPA for ASP Systems - Ubuntu Oneiric | 2.34-7~oneiric1 | None | |
| sup-lp | PPA for ASP Systems - Ubuntu Oneiric | 0.4-3~oneiric1 | None | |
| smodels-ie | PPA for ASP Systems - Ubuntu Oneiric | 1.0.0-5~oneiric1 | None | |
| relsat | PPA for ASP Systems - Ubuntu Oneiric | 2.02-3~oneiric1 | None |
