Latest Integration Build
PPA description
This contains the current development version of Mir for all supported Ubuntu Series.
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:mir-team/dev to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:mir-team/dev
sudo apt update
For questions and bugs with software in this PPA please contact Mir development team.
PPA statistics
- Activity
- 34 updates added during the past month.
View package details
Overview of published packages
| 1 → 13 of 13 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
1.1-2~ppa1 | Michał Sawicz () |
|
|
2.18.0+dev44-gc89d7fd54c-0ubuntu24.10 | Mir CI Bot () |
|
|
2.18.0+dev44-gc89d7fd54c-0ubuntu24.04 | Mir CI Bot () |
|
|
2.17.0+dev286-g5557be6be4-0ubuntu23.10 | Mir CI Bot () |
|
|
2.16.4+dev411-gbd658ba073-0ubuntu22.04 | Mir CI Bot () |
|
|
2.16.2+dev64-ga3a2494486-0ubuntu23.04 | Mir CI Bot () |
|
|
2.13.1-0ubuntu20.04 | Mir CI Bot () |
|
|
1.7.0+dev29-gcfb6765-0ubuntu24.10 | Mir CI Bot () |
|
|
1.7.0+dev29-gcfb6765-0ubuntu24.04 | Mir CI Bot () |
|
|
1.7.0+dev29-gcfb6765-0ubuntu23.10 | Mir CI Bot () |
|
|
1.7.0+dev26-g26c5a8c-0ubuntu22.04 | Mir CI Bot () |
|
|
1.7.0+dev7-g602433e-0ubuntu23.04 | Mir CI Bot () |
|
|
1.5.0+dev40-g30d30e8-0ubuntu20.04 | Mir CI Bot () |
| 1 → 13 of 13 results | First • Previous • Next • Last |
