control revision 7819575490ff8ed1076e3ea25e7bab870943d248
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark AndrewsSource: hets-server
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark AndrewsSection: misc
a7c412f37cc73d0332887a746e81220cbf09dd00Mark AndrewsPriority: extra
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark AndrewsMaintainer: Corneliu-Claudiu Prodescu <cprodescu@googlemail.com>
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark AndrewsBuild-Depends:
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews debhelper(>=7.4.15),
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-parsec3-dev,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-tar-dev,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-hexpat-dev,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-http-dev,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-fgl-dev,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-xml-dev,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-aterm-dev,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-programatica-dev,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-wai-extra-dev,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-warp-dev,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-random-dev,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews libghc-haxml-dev
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark AndrewsStandards-Version: 3.9.3
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark AndrewsHomepage: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark AndrewsPackage: hets-server-core
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark AndrewsArchitecture: i386 amd64
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark AndrewsDepends: darwin, eprover, default-jre-headless, spass, graphviz, libfactplusplusjni, ${shlibs:Depends}, ${misc:Depends}
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark AndrewsRecommends: man
dbb012765c735ee0d82dedb116cdc7cf18957814Evan HuntDescription: Package containing the core of Hets - the Heterogeneous Tool Set.
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews Hets is a parsing, static analysis and proof management tool combining
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews various tools for different specification languages, thus providing a
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews tool for the heterogeneous specification language HetCASL. The structuring
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews constructs of this language are those of CASL, plus some new heterogeneous
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews constructs for indicating the language and for language translations. Hence,
c3c8823fed039b3a2b8e5ca8bc2f3301d1dd840eMark Andrews Hets is based on a graph of logics and languages.