769347ad4d35d43488eb98f980143495b0db415dStef WalterSource: hets

769347ad4d35d43488eb98f980143495b0db415dStef WalterSection: misc

769347ad4d35d43488eb98f980143495b0db415dStef WalterPriority: extra

769347ad4d35d43488eb98f980143495b0db415dStef WalterMaintainer: Corneliu-Claudiu Prodescu <cprodescu@googlemail.com>

769347ad4d35d43488eb98f980143495b0db415dStef WalterBuild-Depends:

769347ad4d35d43488eb98f980143495b0db415dStef Walter debhelper(>=7.4.15),

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter ghc,

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter happy,

769347ad4d35d43488eb98f980143495b0db415dStef Walter ghc-haddock,

769347ad4d35d43488eb98f980143495b0db415dStef Walter libghc-parsec3-dev,

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter libghc-tar-dev,

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter libghc-glade-dev,

769347ad4d35d43488eb98f980143495b0db415dStef Walter libghc-haskeline-dev,

769347ad4d35d43488eb98f980143495b0db415dStef Walter libghc-hexpat-dev,

769347ad4d35d43488eb98f980143495b0db415dStef Walter libghc-http-dev,

769347ad4d35d43488eb98f980143495b0db415dStef Walter libghc-fgl-dev,

769347ad4d35d43488eb98f980143495b0db415dStef Walter libghc-xml-dev,

769347ad4d35d43488eb98f980143495b0db415dStef Walter libghc-aterm-dev,

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter libghc-programatica-dev,

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter libghc-uni-udrawgraph-dev,

769347ad4d35d43488eb98f980143495b0db415dStef Walter libghc-wai-extra-dev,

769347ad4d35d43488eb98f980143495b0db415dStef Walter libghc-warp-dev,

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter libghc-random-dev,

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter libghc-haxml-dev,

769347ad4d35d43488eb98f980143495b0db415dStef Walter spass,

769347ad4d35d43488eb98f980143495b0db415dStef Walter darwin,

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter lib32stdc++6[amd64],

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter texlive-latex-base,

769347ad4d35d43488eb98f980143495b0db415dStef Walter texlive-latex-extra,

769347ad4d35d43488eb98f980143495b0db415dStef Walter texlive-pictures

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef WalterStandards-Version: 3.9.3

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef WalterHomepage: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/

769347ad4d35d43488eb98f980143495b0db415dStef Walter

769347ad4d35d43488eb98f980143495b0db415dStef WalterPackage: hets-core

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef WalterArchitecture: i386 amd64

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef WalterDepends: tk, darwin, eprover, openjdk-7-jre | openjdk-6-jre, spass, udrawgraph [i386] | udrawgraph:i386 [amd64], graphviz, gtk2-engines, gtk2-engines-pixbuf, python, subversion, curl, bzip2, ${shlibs:Depends}, ${misc:Depends}

769347ad4d35d43488eb98f980143495b0db415dStef WalterRecommends: man

769347ad4d35d43488eb98f980143495b0db415dStef WalterDescription: Package containing the core of Hets - the Heterogeneous Tool Set.

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter Hets is a parsing, static analysis and proof management tool combining

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter various tools for different specification languages, thus providing a

769347ad4d35d43488eb98f980143495b0db415dStef Walter tool for the heterogeneous specification language HetCASL. The structuring

769347ad4d35d43488eb98f980143495b0db415dStef Walter constructs of this language are those of CASL, plus some new heterogeneous

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter constructs for indicating the language and for language translations. Hence,

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef Walter Hets is based on a graph of logics and languages.

769347ad4d35d43488eb98f980143495b0db415dStef Walter

769347ad4d35d43488eb98f980143495b0db415dStef WalterPackage: hets-ontology

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef WalterArchitecture: all

dff909d473f43a6bd0f0286fa2d279c0ebe945c6Stef WalterDepends: hets-core, pellet ${misc:Depends}

769347ad4d35d43488eb98f980143495b0db415dStef WalterDescription: Package containing the Hets-Ontology system.

769347ad4d35d43488eb98f980143495b0db415dStef Walter This is a meta-package containing the Hets-Ontology system.

769347ad4d35d43488eb98f980143495b0db415dStef Walter

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 ${misc:Depends}

Description: Package containing the full Hets - the Heterogeneous Tool Set.

This is a meta-package containing the full Hets system.