Related packages
Maintained packages
Displaying first 10 packages out of 28 total| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| babeld | Debian Sid | 1.12.1-1 | None | |
| ahcpd | Debian Sid | 0.53-3 | None | |
| net-acct | Debian Sid | 0.71-9.1 | None | |
| grisbi | Debian Sid | 1.0.4-1 | None | |
| grisbi | Debian Experimental | 1.1.92-1 | None | |
| mumudvb | Debian Sid | 1.7.1-1 | None | |
| mumudvb | Debian Experimental | 1.7-1 | None | |
| ahcpd | Ubuntu Precise | 0.53-1 | None | |
| babeld | Ubuntu Precise | 1.3.0-1 | None | |
| grisbi | Ubuntu Precise | 0.8.8-1 | None |
Uploaded packages
Displaying first 10 packages out of 32 total| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| ocsigen | Ubuntu Oneiric | 1.3.4-2 | None | |
| postgresql-ocaml | Ubuntu Oneiric | 1.16.0-1 | armel | |
| ocaml-sqlite3 | Ubuntu Oneiric | 1.6.1-1 | armel | |
| lwt | Ubuntu Oneiric | 2.3.0-3 | armel | |
| why | Ubuntu Lucid | 2.23+dfsg-2 | armel | |
| matita | Ubuntu Lucid | 0.5.8-2 | None | |
| ocaml-batteries | Ubuntu Lucid | 1.1.0-1 | None | |
| ocamlgraph | Ubuntu Lucid | 1.3+debian-1 | None | |
| mldonkey | Ubuntu Lucid | 3.0.1-1 | None | |
| frama-c | Ubuntu Lucid | 20090902+beryllium+dfsg-4 | None |
PPA packages
Displaying first 10 packages out of 61 total| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| aac-tactics | PPA for Stéphane Glondu - Ubuntu Precise | 0.3-2~ppa+precise1 | None | |
| aac-tactics | PPA for Stéphane Glondu - Ubuntu Oneiric | 0.3-2~ppa+oneiric1 | None | |
| coq | PPA for Stéphane Glondu - Ubuntu Precise | 8.4dfsg-2~ppa+precise1 | None | |
| coq | PPA for Stéphane Glondu - Ubuntu Oneiric | 8.4dfsg-2~ppa+oneiric1 | None | |
| ssreflect | PPA for Stéphane Glondu - Ubuntu Oneiric | 1.4-1~ppa+oneiric1 | None | |
| ssreflect | PPA for Stéphane Glondu - Ubuntu Precise | 1.4-1~ppa+precise1 | None | |
| proofgeneral | PPA for Stéphane Glondu - Ubuntu Oneiric | 4.2~pre120112-1~ppa+oneiric1 | None | |
| grisbi | PPA for Stéphane Glondu - Ubuntu Oneiric | 0.8.8-1~ppa+oneiric1 | None | |
| ocaml | PPA for Stéphane Glondu - Ubuntu Oneiric | 3.12.1-0ubuntu1 | None | |
| ssreflect | PPA for Stéphane Glondu - Ubuntu Natty | 1.3pl1-4~ppa+natty1 | None |
