PPA for Stéphane Glondu
PPA description
Archive for EXPERIMENTAL packages I maintain in Debian (and their dependencies). You are welcome to test them and report bugs, but please don't use them in a stable or production environment (and backup your data first).
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:glondu/ppa to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:glondu/ppa sudo apt update
For questions and bugs with software in this PPA please contact Stéphane Glondu.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 17 of 17 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
aac-tactics | 0.3-2~ppa+precise1 | Stéphane Glondu () |
aac-tactics | 0.3-2~ppa+oneiric1 | Stéphane Glondu () |
aac-tactics | 0.2.pl2-1~ppa+natty1 | Stéphane Glondu () |
aac-tactics | 0.2.pl2-1~ppa+lucid3 | Stéphane Glondu () |
coq | 8.4dfsg-2~ppa+precise1 | Stéphane Glondu () |
coq | 8.4dfsg-2~ppa+oneiric1 | Stéphane Glondu () |
coq | 8.3.pl1+dfsg-2~ppa+natty1 | Stéphane Glondu () |
coq | 8.3.pl1+dfsg-2~ppa+lucid2 | Stéphane Glondu () |
dh-ocaml | 0.9.6~ppa+lucid1 | Stéphane Glondu () |
grisbi | 0.8.8-1~ppa+oneiric1 | Stéphane Glondu () |
grisbi | 0.8.5-1~ppa+natty1 | Stéphane Glondu () |
grisbi | 0.8.5-1~ppa+lucid1 | Stéphane Glondu () |
proofgeneral | 4.2~pre120112-1~ppa+oneiric1 | Stéphane Glondu () |
ssreflect | 1.4-1~ppa+precise1 | Stéphane Glondu () |
ssreflect | 1.4-1~ppa+oneiric1 | Stéphane Glondu () |
ssreflect | 1.3pl1-4~ppa+natty1 | Stéphane Glondu () |
ssreflect | 1.3pl1-1~ppa+lucid1 | Stéphane Glondu () |
1 → 17 of 17 results | First • Previous • Next • Last |