Package Details: hets 0.99_1458196355-1

Git Clone URL: https://aur.archlinux.org/hets.git (read-only)
Package Base: hets
Description: A parsing, static analysis and proof management tool incorporating various provers and different specification languages.
Upstream URL: http://hets.eu
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

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/linux64/releasedhets.bz2 ?

Kind regards,
André