daily-ppa
PPA description
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:dev-instead/daily-ppa to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:dev-instead/daily-ppa
sudo apt update
For questions and bugs with software in this PPA please contact INSTEAD developers.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
| 1 → 10 of 10 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
3.2.0-0-20180311~3207~ubuntu14.04.1 | INSTEAD developers () |
|
|
3.2.0-0-20180119~3135~ubuntu12.04.1 | INSTEAD developers () |
|
|
3.1.2-0-20171010~2978~ubuntu15.04.1 | INSTEAD developers () |
|
|
2.4.1-0-20160707~2440~ubuntu15.10.1 | INSTEAD developers () |
|
|
2.2.3-0-20150320~2251~ubuntu10.04.1 | INSTEAD developers () |
|
|
2.1.1-0-20140710~2156~ubuntu13.10.1 | INSTEAD developers () |
|
|
2.1.0-0-20140603~2153~ubuntu12.10.1 | INSTEAD developers () |
|
|
1.9.2-0-20140111~2089~ubuntu13.04.1 | INSTEAD developers () |
|
|
1.9.0-trunk~1776~oneiric1 | Maksim Kasherny () |
|
|
1.8.0-trunk~1774~natty1 | INSTEAD developers () |
| 1 → 10 of 10 results | First • Previous • Next • Last |
