control revision 7f6499ac9dbd3571a83e64e661e13871ac4694a7
448678d1602366f883a3176c78695f2b59046dbaacspikeSource: hets
448678d1602366f883a3176c78695f2b59046dbaacspikeSection: misc
448678d1602366f883a3176c78695f2b59046dbaacspikePriority: extra
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoMaintainer: Corneliu-Claudiu Prodescu <cprodescu@googlemail.com>
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoBuild-Depends:
448678d1602366f883a3176c78695f2b59046dbaacspike debhelper(>=7.4.15),
448678d1602366f883a3176c78695f2b59046dbaacspike ghc-haddock,
448678d1602366f883a3176c78695f2b59046dbaacspike libghc-parsec3-dev,
448678d1602366f883a3176c78695f2b59046dbaacspike libghc-tar-dev,
448678d1602366f883a3176c78695f2b59046dbaacspike libghc-glade-dev,
448678d1602366f883a3176c78695f2b59046dbaacspike libghc-haskeline-dev,
448678d1602366f883a3176c78695f2b59046dbaacspike libghc-hexpat-dev,
448678d1602366f883a3176c78695f2b59046dbaacspike libghc-http-dev,
448678d1602366f883a3176c78695f2b59046dbaacspike libghc-fgl-dev,
448678d1602366f883a3176c78695f2b59046dbaacspike libghc-xml-dev,
448678d1602366f883a3176c78695f2b59046dbaacspike libghc-aterm-dev,
448678d1602366f883a3176c78695f2b59046dbaacspike libghc-programatica-dev,
448678d1602366f883a3176c78695f2b59046dbaacspike libghc-uni-udrawgraph-dev,
e4a094fa5446f7e5e226a3b10fdb7bf676808863JazzyNico libghc-wai-extra-dev,
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNico libghc-warp-dev,
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNico libghc-random-dev,
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNico libghc-haxml-dev,
e4a094fa5446f7e5e226a3b10fdb7bf676808863JazzyNico lib32stdc++6[amd64],
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNico texlive-latex-base,
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNico texlive-latex-extra,
e4a094fa5446f7e5e226a3b10fdb7bf676808863JazzyNico texlive-pictures
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoStandards-Version: 3.9.3
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoHomepage: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoPackage: hets-core
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoArchitecture: i386 amd64
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoDepends: 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}
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoRecommends: man
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoDescription: Package containing the core of Hets - the Heterogeneous Tool Set.
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNico Hets is a parsing, static analysis and proof management tool combining
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNico various tools for different specification languages, thus providing a
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNico tool for the heterogeneous specification language HetCASL. The structuring
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNico constructs of this language are those of CASL, plus some new heterogeneous
c73300121caedfadbbad926c47a149ae44d20e9eJazzyNico constructs for indicating the language and for language translations. Hence,
448678d1602366f883a3176c78695f2b59046dbaacspike Hets is based on a graph of logics and languages.
448678d1602366f883a3176c78695f2b59046dbaacspikePackage: hets-ontology
80809dee6f6d120234c4570056c9a10c063953d8acspikeArchitecture: all
80809dee6f6d120234c4570056c9a10c063953d8acspikeDepends: hets-core, libfactplusplusjni, pellet, ekrhyper, ${misc:Depends}
509730c943dad11948eb7b0bf4d74566a7d6e4feJazzyNicoDescription: Package containing the Hets-Ontology system.
509730c943dad11948eb7b0bf4d74566a7d6e4feJazzyNico This is a meta-package containing the Hets-Ontology system.
10d83263d52ec327ae23c8f023602972a3d2d738JazzyNicoPackage: hets-doc
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoArchitecture: all
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoDepends: ${misc:Depends}
10d83263d52ec327ae23c8f023602972a3d2d738JazzyNicoDescription: Package containing the documentation for Heterogeneous Tool Set.
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNico This is a package containing the Haddock documentation of the Heterogenous
509730c943dad11948eb7b0bf4d74566a7d6e4feJazzyNicoPackage: hets
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoArchitecture: all
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoDepends: hets-core, hets-ontology, hets-doc, isabelle, maude, hets-hollight-tools, ${misc:Depends}
3dace39053c4ea5433367bc1e2c82a1af84fa7f7JazzyNicoDescription: Package containing the full Hets - the Heterogeneous Tool Set.
7fc2c44ef6a375d2b200260e759ac59a9a68b56bJazzyNico This is a meta-package containing the full Hets system.