Package Details: hets 0.99_1458196355-1

Git Clone URL: (read-only)
Package Base: hets
Description: A parsing, static analysis and proof management tool incorporating various provers and different specification languages.
Upstream URL:
Licenses: custom:hets-license
Conflicts: hets
Provides: hets
Submitter: robustus
Maintainer: eugenk
Last Packager: eugenk
Votes: 1
Popularity: 0.005812
First Submitted: 2015-09-06 13:19
Last Updated: 2016-03-21 09:28

Latest Comments

weltensegler commented on 2015-09-17 20:34

Hello Tim,

building hets fails because pellet seems to be neither in the official repos nor in the aur.

Also, you seem to use your own website as a source for the hets build. Is this the official source for hets builds or isn't it ?

Kind regards,