Search Criteria
Package Details: hets-server-bin 0.99_1484075143-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/hets-server-bin.git (read-only, click to copy) |
---|---|
Package Base: | hets-server-bin |
Description: | A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
Upstream URL: | http://hets.eu |
Licenses: | GPL2 |
Conflicts: | hets-server |
Provides: | hets-server |
Submitter: | eugenk |
Maintainer: | eugenk |
Last Packager: | eugenk |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2016-08-19 09:26 (UTC) |
Last Updated: | 2017-02-26 11:09 (UTC) |
Dependencies (15)
- cairo (cairo-gitAUR)
- fontconfig (fontconfig-gitAUR, fontconfig-ubuntuAUR)
- gettext (gettext-gitAUR)
- glib2 (glib2-gitAUR, glib2-selinuxAUR, glib2-patched-thumbnailerAUR)
- hets-commonsAUR (hets-commonsAUR, hets-commons-binAUR)
- hets-libAUR (hets-libAUR)
- libgladeAUR
- ncurses (ncurses-gitAUR)
- tcl (tcl84AUR, tcl-fossilAUR)
- tk (tk-fossilAUR)
- darwinAUR (darwinAUR) (optional)
- eproverAUR (optional)
- isabelleAUR (optional)
- pelletAUR (pelletAUR) (optional)
- spassAUR (optional)