Release PPA
PPA description
PPA Containing packages of the latest mCRL2 release. These are exactly the packages that will become part of future Debian and Ubuntu releases.
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:mcrl2/release-ppa to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:mcrl2/release-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 → 17 of 17 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
|
202307.1.2-1ubuntu1ppa3~jammy | Maurice Laveaux () |
|
202307.1.2-1ubuntu1ppa3~focal | Maurice Laveaux () |
|
202206.1-1ubuntu1ppa1~bionic | Maurice Laveaux () |
|
202106.0-1ubuntu1ppa1~groovy | Maurice Laveaux () |
|
201908.0-1ubuntu1ppa2~disco | Wieger Wesselink () |
|
201908.0-1ubuntu1ppa1~xenial | Wieger Wesselink () |
|
201707.1-1ubuntu1ppa2~zesty | Wieger Wesselink () |
|
201707.1-1ubuntu1ppa2~yakkety | Wieger Wesselink () |
|
201409.1-1ubuntu1ppa2~utopic | Wieger Wesselink () |
|
201409.1-1ubuntu1ppa2~precise | Wieger Wesselink () |
|
201409.0-1ubuntu1ppa1~lucid | Sjoerd Cranen () |
|
201310.0-1ubuntu1ppa1~saucy1 | Sjoerd Cranen () |
|
201310.0-1ubuntu1ppa1~raring1 | Sjoerd Cranen () |
|
201310.0-1ubuntu1ppa1~quantal1 | Sjoerd Cranen () |
|
201210.1-1ubuntu1~oneiric1~ppa1 | Jeroen Keiren () |
|
201210.1-1ubuntu1~natty1~ppa1 | Jeroen Keiren () |
|
201210.1-1ubuntu1~maverick1~ppa1 | Jeroen Keiren () |
1 → 17 of 17 results | First • Previous • Next • Last |