hets ubuntu repository
PPA description
Packages for the Heterogeneous Tool Set (Hets) and the tools that Hets integrates.
Hets is a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications. Logic translations are first-class citizens. Hompage: http://
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:hets/hets to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:hets/hets sudo apt update
For questions and bugs with software in this PPA please contact hets packaging.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 75 of 269 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
|
1.8.0-3.22.4 | Jens Elkner () |
|
1.8.0-3.18.4 | Jens Elkner () |
|
1.8.0-3.16.4 | Jens Elkner () |
|
1.8.0-2.20.4 | Jens Elkner () |
|
1.4.5-1ubuntu20 | Christian Maeder () |
|
1.4.5-1ubuntu18 | Christian Maeder () |
|
1.4.5-1ubuntu12 | Christian Maeder () |
|
1.4.5-1ubuntu8 | Christian Maeder () |
|
1.4.5-1ubuntu4 | Corneliu-Claudiu Prodescu () |
|
1.4.5-4.22.4 | Jens Elkner () |
|
1.4.5-4.20.4 | Jens Elkner () |
|
1.4.5-4.18.4 | Jens Elkner () |
|
1.4.5-4.16.4 | Jens Elkner () |
|
1.2.3-1ubuntu5 | Christian Maeder () |
|
1.2.3-1ubuntu3 | Christian Maeder () |
|
1.4.26092011-1.20.4 | Jens Elkner () |
|
1.4.26092011-1.18.4 | Jens Elkner () |
|
1.4.26092011-1.16.4 | Jens Elkner () |
|
1.4.21022014-2.18.4 | Jens Elkner () |
|
1.4.21022014-1.20.4 | Jens Elkner () |
|
1.4.21022014-1.16.4 | Jens Elkner () |
|
1.4.26092011-0ubuntu3 | Christian Maeder () |
|
1.4.21022014-0ubuntu1 | Christian Maeder () |
|
1.2.05042012-0ubuntu1 | Christian Maeder () |
|
1.1.4.29062010-1 | Corneliu-Claudiu Prodescu () |
|
1.9-0ubuntu3 | Christian Maeder () |
|
1.9-0ubuntu1 | Christian Maeder () |
|
1.8-0ubuntu2 | Christian Maeder () |
|
1.8-0ubuntu1 | Christian Maeder () |
|
1.4-0ubuntu2 | Christian Maeder () |
|
2.5-2.22.4 | Jens Elkner () |
|
2.5-2.20.4 | Jens Elkner () |
|
2.5-2.18.4 | Jens Elkner () |
|
2.5-2.16.4 | Jens Elkner () |
|
1.6.3-0ubuntu2 | Christian Maeder () |
|
1.6.3-0ubuntu1 | Christian Maeder () |
|
1.6.1-0ubuntu3 | Christian Maeder () |
|
0.1.0.1-0ubuntu12 | Christian Maeder () |
|
0.1.0.1-0ubuntu10 | Christian Maeder () |
|
0.1.0.1-0ubuntu5 | Christian Maeder () |
|
0.1.0.1-0ubuntu1 | Christian Maeder () |
|
0.1.0.0-1 | Corneliu-Claudiu Prodescu () |
|
1.1.0.0-2.1 | Corneliu-Claudiu Prodescu () |
|
0.16.2.1-1.22.4.4 | Jens Elkner () |
|
0.13.0-1 | Christian Maeder () |
|
0.20.9-0ubuntu4 | Christian Maeder () |
|
0.20.9-0ubuntu2 | Christian Maeder () |
|
0.20.6-0ubuntu1 | Christian Maeder () |
|
0.19.10-0ubuntu1 | Christian Maeder () |
|
0.18-1 | Corneliu-Claudiu Prodescu () |
|
0.5.2-0ubuntu4 | Christian Maeder () |
|
0.5.2-0ubuntu2 | Christian Maeder () |
|
0.5.1-0ubuntu2 | Christian Maeder () |
|
0.4.2-0ubuntu1 | Christian Maeder () |
|
0.4.0-1 | Corneliu-Claudiu Prodescu () |
|
1.0.0.5-0ubuntu5 | Christian Maeder () |
|
1.0.0.5-0ubuntu4 | Christian Maeder () |
|
1.0.0.5-0ubuntu1 | Christian Maeder () |
|
1.0.0.4-0ubuntu1 | Christian Maeder () |
|
1.0-2 | Corneliu-Claudiu Prodescu () |
|
0.3.1.0-2.1 | Corneliu-Claudiu Prodescu () |
|
0.7.1.0-1.1 | Corneliu-Claudiu Prodescu () |
|
0.2.1.0-2 | Corneliu-Claudiu Prodescu () |
|
2.2.2.0-0ubuntu5 | Christian Maeder () |
|
2.2.2.0-0ubuntu3 | Christian Maeder () |
|
2.2.1.0-4ubuntu8 | Christian Maeder () |
|
2.2.1.0-4ubuntu4 | Christian Maeder () |
|
2.1.0.0-2 | Corneliu-Claudiu Prodescu () |
|
2.2.1.0-4ubuntu12 | Christian Maeder () |
|
2.2.1.0-4ubuntu10 | Christian Maeder () |
|
2.2.1.0-4ubuntu7 | Christian Maeder () |
|
2.2.1.0-4ubuntu3 | Christian Maeder () |
|
2.0-2 | Corneliu-Claudiu Prodescu () |
|
2.2.1.2-0ubuntu4 | Christian Maeder () |
|
2.2.1.2-0ubuntu2 | Christian Maeder () |
1 → 75 of 269 results | First • Previous • Next • Last |