21155e63bac193abc764d791360132392eb79c4dcmaederSource: hets-server
21155e63bac193abc764d791360132392eb79c4dcmaederSection: misc
21155e63bac193abc764d791360132392eb79c4dcmaederPriority: extra
21155e63bac193abc764d791360132392eb79c4dcmaederMaintainer: Corneliu-Claudiu Prodescu <cprodescu@googlemail.com>
21155e63bac193abc764d791360132392eb79c4dcmaederBuild-Depends:
21155e63bac193abc764d791360132392eb79c4dcmaeder debhelper(>=7.4.15),
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-parsec3-dev,
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-tar-dev,
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-hexpat-dev,
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-http-dev,
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-fgl-dev,
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-xml-dev,
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-aterm-dev,
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-programatica-dev,
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-wai-extra-dev,
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-warp-dev,
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-random-dev,
21155e63bac193abc764d791360132392eb79c4dcmaeder libghc-haxml-dev
21155e63bac193abc764d791360132392eb79c4dcmaederStandards-Version: 3.9.3
21155e63bac193abc764d791360132392eb79c4dcmaederHomepage: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/
21155e63bac193abc764d791360132392eb79c4dcmaederPackage: hets-server-core
21155e63bac193abc764d791360132392eb79c4dcmaederArchitecture: i386 amd64
55282ad62e8b6758abec43734ebde0015ac14b89Eugen KuksaDepends: darwin, eprover, default-jre-headless, spass, graphviz, texlive-latex-base, ${shlibs:Depends}, ${misc:Depends}
21155e63bac193abc764d791360132392eb79c4dcmaederRecommends: man
21155e63bac193abc764d791360132392eb79c4dcmaederDescription: Package containing the core of Hets - the Heterogeneous Tool Set.
21155e63bac193abc764d791360132392eb79c4dcmaeder Hets is a parsing, static analysis and proof management tool combining
21155e63bac193abc764d791360132392eb79c4dcmaeder various tools for different specification languages, thus providing a
21155e63bac193abc764d791360132392eb79c4dcmaeder tool for the heterogeneous specification language HetCASL. The structuring
21155e63bac193abc764d791360132392eb79c4dcmaeder constructs of this language are those of CASL, plus some new heterogeneous
21155e63bac193abc764d791360132392eb79c4dcmaeder constructs for indicating the language and for language translations. Hence,
21155e63bac193abc764d791360132392eb79c4dcmaeder Hets is based on a graph of logics and languages.