0c27b3fe77ac1d5094ba3521e8142d9e7973133fMark AndrewsSource: hets-src

0e507dbb816575e6220fe309e8ada68897ffcdbeMark AndrewsSection: misc

0c27b3fe77ac1d5094ba3521e8142d9e7973133fMark AndrewsPriority: optional

0c27b3fe77ac1d5094ba3521e8142d9e7973133fMark AndrewsMaintainer: Hets packaging team Uni Bremen/Magdeburg <hets-devel@informatik.uni-bremen.de>

0c27b3fe77ac1d5094ba3521e8142d9e7973133fMark AndrewsBuild-Depends:

c8175ece69d986ccd0671bc4d2571b247dfae177Automatic Updater dpkg, dpkg-dev,

c8175ece69d986ccd0671bc4d2571b247dfae177Automatic Updater ghc (>= 7.6.3),

0e507dbb816575e6220fe309e8ada68897ffcdbeMark Andrews happy,

0e507dbb816575e6220fe309e8ada68897ffcdbeMark Andrews ghc-haddock,

0e507dbb816575e6220fe309e8ada68897ffcdbeMark Andrews libghc-parsec3-dev,

0e507dbb816575e6220fe309e8ada68897ffcdbeMark Andrews libghc-tar-dev,

0e507dbb816575e6220fe309e8ada68897ffcdbeMark Andrews libghc-glade-dev,

0e507dbb816575e6220fe309e8ada68897ffcdbeMark Andrews libghc-haskeline-dev,

0e507dbb816575e6220fe309e8ada68897ffcdbeMark Andrews libghc-hexpat-dev,

0e507dbb816575e6220fe309e8ada68897ffcdbeMark Andrews libghc-http-dev,

0e507dbb816575e6220fe309e8ada68897ffcdbeMark Andrews libghc-fgl-dev,

0e507dbb816575e6220fe309e8ada68897ffcdbeMark Andrews 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,

ant,

openjdk-7-jdk,

zip,

xz-utils,

tar,

texlive-latex-base,

texlive-latex-extra,

texlive-pictures,

texlive-fonts-recommended

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, 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.

Package: hets-server

Architecture: i386 amd64

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,

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.