a32b84e499c14f3297801c4ae6c725908d19c976Phil OstlerSource: hets-src

a32b84e499c14f3297801c4ae6c725908d19c976Phil OstlerSection: misc

01f87b9746ac246340e0e98d25e03193d83b071fJoe BandenburgPriority: optional

01f87b9746ac246340e0e98d25e03193d83b071fJoe BandenburgMaintainer: http://theo.iks.cs.ovgu.de/ <jel+ubuntu-pkg@cs.uni-magdeburg.de>

01f87b9746ac246340e0e98d25e03193d83b071fJoe BandenburgBuild-Depends:

01f87b9746ac246340e0e98d25e03193d83b071fJoe Bandenburg dpkg, dpkg-dev,

01f87b9746ac246340e0e98d25e03193d83b071fJoe Bandenburg ghc (>= 7.6.3),

01f87b9746ac246340e0e98d25e03193d83b071fJoe Bandenburg happy,

01f87b9746ac246340e0e98d25e03193d83b071fJoe Bandenburg ghc-haddock,

a32b84e499c14f3297801c4ae6c725908d19c976Phil Ostler libghc-parsec3-dev,

a32b84e499c14f3297801c4ae6c725908d19c976Phil Ostler libghc-tar-dev,

libghc-glade-dev,

libghc-haskeline-dev,

libghc-hexpat-dev,

libghc-http-dev,

libghc-fgl-dev,

libghc-xml-dev,

libghc-aterm-dev,

libghc-programatica-dev,

libghc-uni-udrawgraph-dev,

libghc-wai-extra-dev,

libghc-warp-dev,

libghc-random-dev,

libghc-haxml-dev,

openjdk-7-jdk,

texlive-latex-base,

texlive-latex-extra,

texlive-pictures,

zip

Standards-Version: 3.9.3

Homepage: https://github.com/spechub/Hets

Package: hets-common

Architecture: all

Depends: libc6, libgcc1, libstdc++6

Description: Data used by the hets-server as well as hets-desktop package.

This package contains the intersection of architecture independent libraries,

supporting scripts and other data of the hets-server and hets-desktop working

set. It also contains some hets related user guides and basic papers which may

help to dive into hets. For more information about hets see http://hets.eu/.

Package: hets-desktop

Architecture: i386 amd64

Depends: hets-common, owltools, ksh, darwin, eprover, spass, openjdk-8-jre | openjdk-7-jre, graphviz, wget, file, 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 heterogeneous specification language HetCASL. The structuring

constructs of this language are those of CASL, plus some new heterogeneous

constructs for indicating the language and for language translations. Hence,

Hets is based on a graph of logics and languages.

Package: hets-server

Architecture: i386 amd64

Depends: hets-common, owltools, ksh, darwin, eprover, spass, openjdk-8-jre-headless | openjdk-7-jre-headless, graphviz, wget, file, 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 heterogeneous specification language HetCASL. The structuring

constructs of this language are those of CASL, plus some 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, i.e. compiled

without GTK+/Glade/TclTk support and thus reduces the number of

dependencies/required ressources noteworthy - much more appropriate for server

environments.

############################################################################

# TBD: hets-provers, hets-desktop-all, hets-server-all

############################################################################

Package: hets-provers

Architecture: i386 amd64

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)

# NOTE: z3 @since 15.10, darwin/edarwin/eprover (PPA)

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

Architecture: i386 amd64

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.

Package: hets-server-all

Architecture: i386 amd64

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

service.