ppa: Development Tools
PPA description
ppa: Development Tools
this PPA contains programs that other programs might need to compile.
the Horde3D stuff should move to the horde3d PPA soon.
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:rebel/ppa to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:rebel/ppa
sudo apt update
For questions and bugs with software in this PPA please contact rebel.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
| 1 → 8 of 8 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
127+4+201203261840~oneiric1 | rebel () |
|
|
127+4+201203261835~precise1 | rebel () |
|
|
1.0.0-beta-community+1037~precise1 | rebel () |
|
|
1.0.0-beta-community+1037~oneiric1 | rebel () |
|
|
1.0.2h-1+deb.sury.org~xenial+1 | Ondřej Surý () |
|
|
1.0.2h-1+deb.sury.org~wily+1 | Ondřej Surý () |
|
|
1.0.2h-1+deb.sury.org~trusty+1 | Ondřej Surý () |
|
|
1.0.2h-1+deb.sury.org~precise+1 | Ondřej Surý () |
| 1 → 8 of 8 results | First • Previous • Next • Last |
