Search Criteria
Package Details: hets-server-bin 0.99_1484075143-1
| 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: | |
| Conflicts: | |
| Provides: | |
| Submitter: | eugenk |
| Maintainer: | eugenk |
| Last Packager: | eugenk |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2016-08-19 09:26 |
| Last Updated: | 2017-02-26 11:09 |
Dependencies (15)
- cairo (cairo-infinality, cairo-infinality-remix, cairo-ubuntu, cairo-git, cairo-minimal, cairo-dfb, cairo-glesv2-aarch64, cairo-glesv2-armv7l, cairo-glesv2-x86_64, cairo-glesv3-aarch64, cairo-glesv3-x86_64, cairo-glesv3-armv7l, cairo-glesv2-bin-x86_64, cairo-glesv3-bin-x86_64, cairo-glesv2-bin-armv7l, cairo-glesv3-bin-armv7l, cairo-glesv2-bin-aarch64, cairo-glesv3-bin-aarch64, cairo-glesv2-bin, cairo-glesv3-bin)
- fontconfig (fontconfig-srb, fontconfig-infinality-ultimate, fontconfig-infinality, fontconfig-infinality-remix, fontconfig-git, fontconfig-ubuntu)
- gettext (gettext-git)
- glib2 (glib2-sched-policy, glib2-clear, glib2-quiet, glib2-git, glib2-patched-thumbnailer)
- hets-commons (hets-commons-bin)
- hets-lib
- libglade
- ncurses (ncurses-nohex, ncurses-git)
- tcl (tcl85, tcl-nothreading)
- tk (tk85)
- darwin (optional)
- eprover (optional)
- isabelle (optional)
- pellet (optional)
- spass (optional)