1378N/ASource: hets-server

1378N/ASection: misc

1378N/APriority: extra

1378N/AMaintainer: Corneliu-Claudiu Prodescu <cprodescu@googlemail.com>

1378N/ABuild-Depends:

1378N/A debhelper(>=7.4.15),

1378N/A ghc,

1378N/A libghc-parsec3-dev,

1378N/A libghc-tar-dev,

1378N/A libghc-hexpat-dev,

1378N/A libghc-http-dev,

1378N/A libghc-fgl-dev,

1378N/A libghc-xml-dev,

1378N/A libghc-aterm-dev,

1378N/A libghc-programatica-dev,

1378N/A libghc-wai-extra-dev,

1378N/A libghc-warp-dev,

1378N/A libghc-random-dev,

1378N/A libghc-haxml-dev

1378N/AStandards-Version: 3.9.3

1378N/AHomepage: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/

1378N/A

3741N/APackage: hets-server-core

1378N/AArchitecture: i386 amd64

1378N/ADepends: darwin, eprover, openjdk-7-jre | openjdk-6-jre, spass, graphviz, ${shlibs:Depends}, ${misc:Depends}

1378N/ARecommends: man

1378N/ADescription: Package containing the core of Hets - the Heterogeneous Tool Set.

1378N/A Hets is a parsing, static analysis and proof management tool combining

1586N/A various tools for different specification languages, thus providing a

1586N/A tool for the heterogeneous specification language HetCASL. The structuring

1378N/A constructs of this language are those of CASL, plus some new heterogeneous

1378N/A constructs for indicating the language and for language translations. Hence,

1378N/A Hets is based on a graph of logics and languages.

1586N/A