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 |
---|---|---|
cvc-47-src | 1.8.0-3.22.4 | Jens Elkner () |
cvc-47-src | 1.8.0-3.18.4 | Jens Elkner () |
cvc-47-src | 1.8.0-3.16.4 | Jens Elkner () |
cvc-47-src | 1.8.0-2.20.4 | Jens Elkner () |
darwin | 1.4.5-1ubuntu20 | Christian Maeder () |
darwin | 1.4.5-1ubuntu18 | Christian Maeder () |
darwin | 1.4.5-1ubuntu12 | Christian Maeder () |
darwin | 1.4.5-1ubuntu8 | Christian Maeder () |
darwin | 1.4.5-1ubuntu4 | Corneliu-Claudiu Prodescu () |
darwin-src | 1.4.5-4.22.4 | Jens Elkner () |
darwin-src | 1.4.5-4.20.4 | Jens Elkner () |
darwin-src | 1.4.5-4.18.4 | Jens Elkner () |
darwin-src | 1.4.5-4.16.4 | Jens Elkner () |
dmtcp | 1.2.3-1ubuntu5 | Christian Maeder () |
dmtcp | 1.2.3-1ubuntu3 | Christian Maeder () |
e-darwin-src | 1.4.26092011-1.20.4 | Jens Elkner () |
e-darwin-src | 1.4.26092011-1.18.4 | Jens Elkner () |
e-darwin-src | 1.4.26092011-1.16.4 | Jens Elkner () |
e-krhyper-src | 1.4.21022014-2.18.4 | Jens Elkner () |
e-krhyper-src | 1.4.21022014-1.20.4 | Jens Elkner () |
e-krhyper-src | 1.4.21022014-1.16.4 | Jens Elkner () |
edarwin | 1.4.26092011-0ubuntu3 | Christian Maeder () |
ekrhyper | 1.4.21022014-0ubuntu1 | Christian Maeder () |
ekrhyper | 1.2.05042012-0ubuntu1 | Christian Maeder () |
ekrhyper | 1.1.4.29062010-1 | Corneliu-Claudiu Prodescu () |
eprover | 1.9-0ubuntu3 | Christian Maeder () |
eprover | 1.9-0ubuntu1 | Christian Maeder () |
eprover | 1.8-0ubuntu2 | Christian Maeder () |
eprover | 1.8-0ubuntu1 | Christian Maeder () |
eprover | 1.4-0ubuntu2 | Christian Maeder () |
eprover-src | 2.5-2.22.4 | Jens Elkner () |
eprover-src | 2.5-2.20.4 | Jens Elkner () |
eprover-src | 2.5-2.18.4 | Jens Elkner () |
eprover-src | 2.5-2.16.4 | Jens Elkner () |
fact++ | 1.6.3-0ubuntu2 | Christian Maeder () |
fact++ | 1.6.3-0ubuntu1 | Christian Maeder () |
fact++ | 1.6.1-0ubuntu3 | Christian Maeder () |
haskell-aterm | 0.1.0.1-0ubuntu12 | Christian Maeder () |
haskell-aterm | 0.1.0.1-0ubuntu10 | Christian Maeder () |
haskell-aterm | 0.1.0.1-0ubuntu5 | Christian Maeder () |
haskell-aterm | 0.1.0.1-0ubuntu1 | Christian Maeder () |
haskell-aterm | 0.1.0.0-1 | Corneliu-Claudiu Prodescu () |
haskell-deepseq | 1.1.0.0-2.1 | Corneliu-Claudiu Prodescu () |
haskell-devscripts-minimal-src | 0.16.2.1-1.22.4.4 | Jens Elkner () |
haskell-glade | 0.13.0-1 | Christian Maeder () |
haskell-hexpat | 0.20.9-0ubuntu4 | Christian Maeder () |
haskell-hexpat | 0.20.9-0ubuntu2 | Christian Maeder () |
haskell-hexpat | 0.20.6-0ubuntu1 | Christian Maeder () |
haskell-hexpat | 0.19.10-0ubuntu1 | Christian Maeder () |
haskell-hexpat | 0.18-1 | Corneliu-Claudiu Prodescu () |
haskell-list | 0.5.2-0ubuntu4 | Christian Maeder () |
haskell-list | 0.5.2-0ubuntu2 | Christian Maeder () |
haskell-list | 0.5.1-0ubuntu2 | Christian Maeder () |
haskell-list | 0.4.2-0ubuntu1 | Christian Maeder () |
haskell-list | 0.4.0-1 | Corneliu-Claudiu Prodescu () |
haskell-programatica | 1.0.0.5-0ubuntu5 | Christian Maeder () |
haskell-programatica | 1.0.0.5-0ubuntu4 | Christian Maeder () |
haskell-programatica | 1.0.0.5-0ubuntu1 | Christian Maeder () |
haskell-programatica | 1.0.0.4-0ubuntu1 | Christian Maeder () |
haskell-programatica | 1.0-2 | Corneliu-Claudiu Prodescu () |
haskell-tar | 0.3.1.0-2.1 | Corneliu-Claudiu Prodescu () |
haskell-text | 0.7.1.0-1.1 | Corneliu-Claudiu Prodescu () |
haskell-transformers | 0.2.1.0-2 | Corneliu-Claudiu Prodescu () |
haskell-uni-events | 2.2.2.0-0ubuntu5 | Christian Maeder () |
haskell-uni-events | 2.2.2.0-0ubuntu3 | Christian Maeder () |
haskell-uni-events | 2.2.1.0-4ubuntu8 | Christian Maeder () |
haskell-uni-events | 2.2.1.0-4ubuntu4 | Christian Maeder () |
haskell-uni-events | 2.1.0.0-2 | Corneliu-Claudiu Prodescu () |
haskell-uni-graphs | 2.2.1.0-4ubuntu12 | Christian Maeder () |
haskell-uni-graphs | 2.2.1.0-4ubuntu10 | Christian Maeder () |
haskell-uni-graphs | 2.2.1.0-4ubuntu7 | Christian Maeder () |
haskell-uni-graphs | 2.2.1.0-4ubuntu3 | Christian Maeder () |
haskell-uni-graphs | 2.0-2 | Corneliu-Claudiu Prodescu () |
haskell-uni-htk | 2.2.1.2-0ubuntu4 | Christian Maeder () |
haskell-uni-htk | 2.2.1.2-0ubuntu2 | Christian Maeder () |
1 → 75 of 269 results | First • Previous • Next • Last |