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://hets.eu/

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-get update
        
Technical details about this PPA

This PPA can be added to your system manually by copying the lines below and adding them to your system's software sources.

Display sources.list entries for:
deb http://ppa.launchpad.net/hets/hets/ubuntu YOUR_UBUNTU_VERSION_HERE main 
deb-src http://ppa.launchpad.net/hets/hets/ubuntu YOUR_UBUNTU_VERSION_HERE main 
Signing key:
1024R/749422BDA76C818FB2EAAA913FF4B01F2A2314D8 (What is this?)
Fingerprint:
749422BDA76C818FB2EAAA913FF4B01F2A2314D8

Dependencies:

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

175 of 230 results
Package Version Uploaded by
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.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.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-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 ()
haskell-uni-htk 2.2.1.1-0ubuntu6 Christian Maeder ()
haskell-uni-htk 2.2.1.1-0ubuntu2 Christian Maeder ()
haskell-uni-htk 2.0-2 Corneliu-Claudiu Prodescu ()
haskell-uni-posixutil 2.2.1.1-0ubuntu11 Christian Maeder ()
175 of 230 results

Latest updates

  • hets-metapkg-src 41 weeks ago
    Successfully built
  • hets-metapkg-src 41 weeks ago
    Successfully built
  • owltools-src 41 weeks ago
    Successfully built
  • vampire-src 55 weeks ago
    Successfully built
  • vampire-src 55 weeks ago
    Successfully built