control revision 8b08a2d67714e66cd65695352dbcffab695a25a2
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim ReddehaseSource: hets-server
5a102b3c56d4ac75632c7e9244ee0ce5bdbbf13aSascha GraefPriority: extra
e568cc4d63d7d940acafc114bc74287b9cc0e480Eugen KuksaMaintainer: Corneliu-Claudiu Prodescu <cprodescu@googlemail.com>
e568cc4d63d7d940acafc114bc74287b9cc0e480Eugen KuksaBuild-Depends:
d327eb79653cf7820fe583473ab35816d44cd757Eugen Kuksa debhelper(>=7.4.15),
d327eb79653cf7820fe583473ab35816d44cd757Eugen Kuksa libghc-parsec3-dev,
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase libghc-tar-dev,
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase libghc-hexpat-dev,
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase libghc-http-dev,
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase libghc-fgl-dev,
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase libghc-xml-dev,
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase libghc-aterm-dev,
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase libghc-programatica-dev,
1787db8f3dfd503a72b55d41b2021a140cc39f26Eugen Kuksa libghc-wai-extra-dev,
1787db8f3dfd503a72b55d41b2021a140cc39f26Eugen Kuksa libghc-warp-dev,
1787db8f3dfd503a72b55d41b2021a140cc39f26Eugen Kuksa libghc-random-dev,
1787db8f3dfd503a72b55d41b2021a140cc39f26Eugen Kuksa libghc-haxml-dev
1787db8f3dfd503a72b55d41b2021a140cc39f26Eugen KuksaStandards-Version: 3.9.3
1787db8f3dfd503a72b55d41b2021a140cc39f26Eugen KuksaHomepage: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/
1787db8f3dfd503a72b55d41b2021a140cc39f26Eugen KuksaPackage: hets-server-core
1787db8f3dfd503a72b55d41b2021a140cc39f26Eugen KuksaArchitecture: i386 amd64
1787db8f3dfd503a72b55d41b2021a140cc39f26Eugen KuksaDepends: darwin, eprover, openjdk-7-jre | openjdk-6-jre, spass, graphviz, ${shlibs:Depends}, ${misc:Depends}
1787db8f3dfd503a72b55d41b2021a140cc39f26Eugen KuksaRecommends: man
1787db8f3dfd503a72b55d41b2021a140cc39f26Eugen KuksaDescription: Package containing the core of Hets - the Heterogeneous Tool Set.
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase Hets is a parsing, static analysis and proof management tool combining
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase various tools for different specification languages, thus providing a
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase tool for the heterogeneous specification language HetCASL. The structuring
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase constructs of this language are those of CASL, plus some new heterogeneous
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase constructs for indicating the language and for language translations. Hence,
c829cb13b4875500efbe54aaa3d3c013564d9a8dTim Reddehase Hets is based on a graph of logics and languages.