Development PPA
PPA description
Provides development snapshots of mCRL2. These only have limited testing, so your mileage may vary.
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:mcrl2/devel-ppa to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:mcrl2/devel-ppa
sudo apt update
For questions and bugs with software in this PPA please contact mCRL2.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
| 1 → 4 of 4 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
201409.0-0ubuntu0+1~trusty | Sjoerd Cranen () |
|
|
201107.1.10245-0ubuntu0+1~oneiric | Jeroen Keiren () |
|
|
201107.1.10245-0ubuntu0+1~lucid | Jeroen Keiren () |
|
|
201103~svn8991-0ubuntu0+1~maverick | Jeroen Keiren () |
| 1 → 4 of 4 results | First • Previous • Next • Last |
