Personal PPA
PPA description
In this package I provide packages that are one of the following:
* otherwise unpackaged
* backports of packages from the upcoming Ubuntu release
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:jkeiren/ppa to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jkeiren/ppa sudo apt update
For questions and bugs with software in this PPA please contact Jeroen Keiren.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 20 of 20 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
boost1.48 | 1.48.0-3~oneiric1~ppa1 | Jeroen Keiren () |
boost1.49 | 1.49.0-3ubuntu1~precise1~ppa1 | Jeroen Keiren () |
boost1.49 | 1.49.0-3ubuntu1~oneiric1~ppa1 | Jeroen Keiren () |
clang | 3.0-3ubuntu1~oneiric1~ppa1 | Jeroen Keiren () |
cmake | 2.8.8-2ubuntu1~precise1~ppa1 | Jeroen Keiren () |
cmake | 2.8.8-2ubuntu1~oneiric1~ppa1 | Jeroen Keiren () |
coq | 8.3.pl4+dfsg-1~natty1~ppa1 | Jeroen Keiren () |
coq | 8.3.pl3+dfsg-1build1~oneiric1~ppa1 | Jeroen Keiren () |
debhelper | 9.20120419ubuntu2~oneiric1~ppa1 | Jeroen Keiren () |
llvm-3.0 | 3.0-4ubuntu1~oneiric1~ppa1 | Jeroen Keiren () |
llvm-3.1 | 3.1-1~precise1~ppa1 (Newer version available) | Jeroen Keiren () |
ltsmin | 1.6+SNAPSHOT-20110513-1744-15-0ubuntu0+ppa1~maverick | Jeroen Keiren () |
mcrl | 2.18.5-0ubuntu0+ppa4~maverick | Jeroen Keiren () |
mcrl | 2.18.5-0ubuntu0+ppa4~maverick~oneiric1~ppa1 | Jeroen Keiren () |
mcrl2 | 201107-1+ppa1~oneiric | Jeroen Keiren () |
mcrl2 | 201107-1+ppa1~natty | Jeroen Keiren () |
mcrl2 | 201107-1+ppa1~maverick | Jeroen Keiren () |
mcrl2 | 201107-1+ppa1~lucid | Jeroen Keiren () |
yaml-cpp | 0.3.0-1~precise1~ppa1 | Jeroen Keiren () |
yaml-cpp | 0.3.0-1~oneiric1~ppa1 | Jeroen Keiren () |
1 → 20 of 20 results | First • Previous • Next • Last |