0N/A libghc-haskeline-dev,
0N/A libghc-programatica-dev,
0N/A libghc-uni-udrawgraph-dev,
0N/A libghc-wai-extra-dev,
0N/A texlive-latex-extra,
0N/A texlive-fonts-recommended
0N/AStandards-Version: 3.9.3
0N/ADepends: libc6, libgcc1, libstdc++6
0N/ADescription: Data used by the hets-server as well as hets-desktop package.
0N/A This package contains the intersection of architecture independent libraries,
0N/A supporting scripts and other data of the hets-server and hets-desktop working
0N/A set. It also contains some hets related user guides and basic papers which may
0N/APackage: hets-desktop
Depends: hets-common, owltools, ksh, darwin, eprover, spass, openjdk-8-jre | openjdk-7-jre, graphviz, wget, patch, file, perl, udrawgraph [i386] | udrawgraph:i386 [amd64], libatk1.0-0, libc6, libffi6, libgdk-pixbuf2.0-0, libglade2-0, libglib2.0-0, libgmp10, libgtk2.0-0, libpango-1.0-0, libtinfo5
Description: The Heterogeneous Tool Set (hets) - desktop version.
This package contains the desktop version of the Heterogeneous Tool Set (hets).
Hets is a parsing, static analysis and proof management tool combining
various tools for different specification languages, thus providing a
tool for the distributed ontology, modeling and specification language DOL,
and the heterogeneous specification language HetCASL. The structuring
constructs of this language extend those of CASL, with (among others) new
heterogeneous constructs for indicating the language and for language
translations. Hence, Hets is based on a graph of logics and languages.
Depends: hets-common, owltools, ksh, darwin, eprover, spass, openjdk-8-jre-headless | openjdk-7-jre-headless, graphviz, wget, patch, file, perl, libc6, libffi6, libgmp10
Description: The Heterogeneous Tool Set (hets) - server version.
This package contains the server version of the Heterogeneous Tool
Set (hets). Hets is a parsing, static analysis and proof management
tool combining various tools for different specification languages,
thus providing a tool for the distributed ontology, modeling and
specification language DOL, and the heterogeneous specification
language HetCASL. The structuring constructs of this language extend
those of CASL, with (among others) new heterogeneous constructs for
indicating the language and for language translations. Hence, Hets is
based on a graph of logics and languages. The difference to the
hets-desktop package is, that this one has no GUI support,
appropriate for server environments.
############################################################################
# TBD: hets-provers, hets-desktop-all, hets-server-all
############################################################################
Depends: cvc3, darwin, edarwin, eprover, fact++, hol-light, maude, minisat, spass, z3
# TBD: cvc3 -> cvc4, edarwin -> e-darwin, ekrhyper (n/a), leo2 (n/a), kodkodi (n/a), satallax (n/a), twelf (n/a), yices (n/a), zchaff (n/a)
Description: Provers for Hets.
This meta-package bundles all known provers which might be useful in hets
related environments. It is just for convinience to be able to install all
prover packages at once (and find out later the details).
Package: hets-desktop-all
Depends: hets-desktop, hets-provers, pellet, isabelle-installer
# TBD: protege4 (n/a), protege4-plugins (n/a)
Description: The Heterogeneous Tool Set (hets) - desktop plus.
This is a meta-package which pulls in the hets-desktop as well as all any
other known package, which might be helpful when dealing with hets.
Depends: hets-server, hets-provers, pellet, isabelle-installer
Description: The Heterogeneous Tool Set (hets) - server plus.
This is a meta-package which pulls in the hets-server as well as all any
other known non-GUI package, which might be helpful when using hets as a