Simple Theorem Prover
PPA description
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:simple-theorem-prover/ppa to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:simple-theorem-prover/ppa sudo apt update
For questions and bugs with software in this PPA please contact Simple Theorem Prover.
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 |
---|---|---|
|
2.8.9-0ubuntu1~ubuntu12.04.1~ppa2 | Antti Kaijanmäki () |
|
1.0+1SNAPSHOT20141101-0~utopic1 | delcypher () |
|
1.0+1SNAPSHOT20141101-0~trusty1 | delcypher () |
|
1.0+1SNAPSHOT20141101-0~precise1 | delcypher () |
1 → 4 of 4 results | First • Previous • Next • Last |