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
Technical details about this PPA

This PPA can be added to your system manually by copying the lines below and adding them to your system's software sources.

Display sources.list entries for:
deb https://ppa.launchpadcontent.net/glondu/ppa/ubuntu YOUR_UBUNTU_VERSION_HERE main 
deb-src https://ppa.launchpadcontent.net/glondu/ppa/ubuntu YOUR_UBUNTU_VERSION_HERE main 
Signing key:
1024R/F1F361152C56E894E8E3C664CD64EC11C765D854 (What is this?)

For questions and bugs with software in this PPA please contact Stéphane Glondu.

PPA statistics

0 updates added during the past month.
View package details

Overview of published packages

117 of 17 results
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 ()
117 of 17 results

Latest updates

  • aac-tactics 523 weeks ago
    Successfully built
  • aac-tactics 523 weeks ago
    Successfully built
  • coq 523 weeks ago
    Successfully built
  • coq 523 weeks ago
    Successfully built
  • ssreflect 523 weeks ago
    Successfully built