Related packages

Maintained packages

Displaying first 10 packages out of 27 total
Name Uploaded to Version When Failures
grisbi Debian Sid 1.0.0-1 2014-04-08 None
babeld Debian Sid 1.4.3-1 2013-11-22 None
ahcpd Debian Sid 0.53-2 2013-05-26 None
mumudvb Debian Sid 1.7.1-1 2012-06-30 None
mumudvb Debian Experimental 1.7-1 2012-04-07 None
ahcpd Ubuntu Precise 0.53-1 2011-12-21 None
babeld Ubuntu Precise 1.3.0-1 2011-12-19 None
grisbi Ubuntu Precise 0.8.8-1 2011-10-17 None
grisbi Ubuntu Oneiric 0.8.7-1 2011-06-11 None
babeld Ubuntu Oneiric 1.1.1-1 2011-05-21 None

Uploaded packages

Displaying first 10 packages out of 32 total
Name Uploaded to Version When Failures
ocsigen Ubuntu Oneiric 1.3.4-2 2011-07-25 None
postgresql-ocaml Ubuntu Oneiric 1.16.0-1 2011-07-13 armel
ocaml-sqlite3 Ubuntu Oneiric 1.6.1-1 2011-07-13 armel
lwt Ubuntu Oneiric 2.3.0-3 2011-07-13 armel
why Ubuntu Lucid 2.23+dfsg-2 2010-03-22 armel
matita Ubuntu Lucid 0.5.8-2 2010-03-22 None
ocaml-batteries Ubuntu Lucid 1.1.0-1 2010-03-07 None
ocamlgraph Ubuntu Lucid 1.3+debian-1 2010-03-06 None
mldonkey Ubuntu Lucid 3.0.1-1 2010-03-06 None
frama-c Ubuntu Lucid 20090902+beryllium+dfsg-4 2010-03-05 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 2012-09-22 None
aac-tactics PPA for Stéphane Glondu - Ubuntu Oneiric 0.3-2~ppa+oneiric1 2012-09-22 None
coq PPA for Stéphane Glondu - Ubuntu Precise 8.4dfsg-2~ppa+precise1 2012-09-22 None
coq PPA for Stéphane Glondu - Ubuntu Oneiric 8.4dfsg-2~ppa+oneiric1 2012-09-22 None
ssreflect PPA for Stéphane Glondu - Ubuntu Oneiric 1.4-1~ppa+oneiric1 2012-09-19 None
ssreflect PPA for Stéphane Glondu - Ubuntu Precise 1.4-1~ppa+precise1 2012-09-19 None
proofgeneral PPA for Stéphane Glondu - Ubuntu Oneiric 4.2~pre120112-1~ppa+oneiric1 2012-01-14 None
grisbi PPA for Stéphane Glondu - Ubuntu Oneiric 0.8.8-1~ppa+oneiric1 2011-10-19 None
ocaml PPA for Stéphane Glondu - Ubuntu Oneiric 3.12.1-0ubuntu1 2011-08-12 None
ssreflect PPA for Stéphane Glondu - Ubuntu Natty 1.3pl1-4~ppa+natty1 2011-06-16 None