JML specs
PPA description
A ppa for JML specs.
The Java Modeling Language
see http://www.eecs.ucf.edu/~leavens/JML/
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:quent57/jmlspecs to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:quent57/jmlspecs sudo apt update
For questions and bugs with software in this PPA please contact quent57.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 1 of 1 result | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
jmlspecs | 5.6rc4-0ubuntu1 | quent57 () |
1 → 1 of 1 result | First • Previous • Next • Last |