Packages in “PPA for Stéphane Glondu”


This PPA currently publishes packages for Precise, Oneiric, Natty, and Lucid.

Package totals

The following information is related to the total published packages in the repository (not on your system).

Package counters and estimated archive size temporarily unavailable.

View all builds Package build summary

A total of 281 builds have been created for this PPA.

Completed builds
251 successful
24 failed

A recent upload has resulted in 1 pending build.

Packages

in
117 of 17 results
Source Published Status Series Section Build Status
aac-tactics - 0.3-2~ppa+precise1 (changes file) Published Precise Math All builds were built successfully.
aac-tactics - 0.3-2~ppa+oneiric1 (changes file) Published Oneiric Math All builds were built successfully.
aac-tactics - 0.2.pl2-1~ppa+natty1 (changes file) Published Natty Math All builds were built successfully.
aac-tactics - 0.2.pl2-1~ppa+lucid3 (changes file) Published Lucid Math All builds were built successfully.
coq - 8.4dfsg-2~ppa+precise1 (changes file) Published Precise Math All builds were built successfully.
coq - 8.4dfsg-2~ppa+oneiric1 (changes file) Published Oneiric Math All builds were built successfully.
coq - 8.3.pl1+dfsg-2~ppa+natty1 (changes file) Published Natty Math All builds were built successfully.
coq - 8.3.pl1+dfsg-2~ppa+lucid2 (changes file) Published Lucid Math All builds were built successfully.
dh-ocaml - 0.9.6~ppa+lucid1 (changes file) Published Lucid Ocaml All builds were built successfully.
grisbi - 0.8.8-1~ppa+oneiric1 (changes file) Published Oneiric X11 All builds were built successfully.
grisbi - 0.8.5-1~ppa+natty1 (changes file) Published Natty X11 All builds were built successfully.
grisbi - 0.8.5-1~ppa+lucid1 (changes file) Published Lucid X11 All builds were built successfully.
proofgeneral - 4.2~pre120112-1~ppa+oneiric1 (changes file) Published Oneiric Science All builds were built successfully.
ssreflect - 1.4-1~ppa+precise1 (changes file) Published Precise Math All builds were built successfully.
ssreflect - 1.4-1~ppa+oneiric1 (changes file) Published Oneiric Math All builds were built successfully.
ssreflect - 1.3pl1-4~ppa+natty1 (changes file) Published Natty Math All builds were built successfully.
ssreflect - 1.3pl1-1~ppa+lucid1 (changes file) Published Lucid Math All builds were built successfully.
117 of 17 results