Source: hets
Section: misc
Priority: extra
Maintainer: Corneliu-Claudiu Prodescu <cprodescu@googlemail.com>
Build-Depends:
 debhelper(>=7.4.15),
 ghc,
 happy,
 ghc-prof,
 ghc-haddock,
 libghc-parsec3-dev,
 libghc-parsec3-prof,
 libghc-tar-dev,
 libghc-tar-prof,
 libghc-glade-dev,
 libghc-haskeline-dev,
 libghc-haskeline-prof,
 libghc-hexpat-dev,
 libghc-hexpat-prof,
 libghc-http-dev,
 libghc-http-prof,
 libghc-fgl-dev,
 libghc-fgl-prof,
 libghc-xml-dev,
 libghc-xml-prof,
 libghc-aterm-dev,
 libghc-aterm-prof,
 libghc-programatica-dev,
 libghc-programatica-prof,
 libghc-uni-udrawgraph-dev,
 libghc-uni-udrawgraph-prof,
 libghc-wai-extra-dev,
 libghc-wai-extra-prof,
 spass,
 darwin,
 lib32stdc++6[amd64],
 texlive-latex-base,
 texlive-latex-extra,
 texlive-pictures
Standards-Version: 3.9.1
Homepage: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/

Package: hets-core
Architecture: i386 amd64
Depends: tk, darwin, eprover, minisat, openjdk-6-jdk, spass, udrawgraph, gtk2-engines, gtk2-engines-pixbuf, zchaff, python, subversion, curl, bzip2, ${shlibs:Depends}, ${misc:Depends}
Recommends: man
Description: Package containing the core of Hets - the Heterogeneous Tool Set.
 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-ontology
Architecture: all
Depends: hets-core, protege-owl, libfactplusplusjni, pellet, ekrhyper, swap-cwm, ${misc:Depends}
Description: Package containing the Hets-Ontology system.
 This is a meta-package containing the Hets-Ontology system.

Package: hets-doc
Section: doc
Architecture: all
Depends: ${misc:Depends}
Description: Package containing the documentation for Heterogeneous Tool Set.
 This is a package containing the Haddock documentation of the Heterogenous
 Tool Set.

Package: hets
Architecture: all
Depends: hets-core, hets-ontology, hets-doc, isabelle, maude, hets-hollight-tools, ${misc:Depends}
Suggests: twelf, reduce
Description: Package containing the full Hets - the Heterogeneous Tool Set.
 This is a meta-package containing the full Hets system.