control revision 961087225d1d2b9534152a346d1a3755ed952fcd
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfsliveSource: hets-src
013e1ddd21f2142a369c9a9a0eeb6c6a0bc3fcf3patrikjSection: misc
e942c741056732f50da2074b36fe59805d370650slivePriority: optional
5f5d1b4cc970b7f06ff8ef6526128e9a27303d88ndMaintainer: Hets packaging team Uni Bremen/Magdeburg <hets-devel@informatik.uni-bremen.de>
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdndBuild-Depends:
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd dpkg, dpkg-dev,
db479b48bd4d75423ed4a45e15b75089d1a8ad72fielding ghc (>= 7.6.3),
db479b48bd4d75423ed4a45e15b75089d1a8ad72fielding ghc-haddock,
db479b48bd4d75423ed4a45e15b75089d1a8ad72fielding libghc-parsec3-dev,
db479b48bd4d75423ed4a45e15b75089d1a8ad72fielding libghc-tar-dev,
db479b48bd4d75423ed4a45e15b75089d1a8ad72fielding libghc-glade-dev,
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd libghc-haskeline-dev,
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd libghc-hexpat-dev,
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd libghc-http-dev,
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd libghc-fgl-dev,
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd libghc-xml-dev,
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd libghc-aterm-dev,
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd libghc-programatica-dev,
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd libghc-uni-udrawgraph-dev,
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd libghc-wai-extra-dev,
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd libghc-warp-dev,
7db9f691a00ead175b03335457ca296a33ddf31bnd libghc-random-dev,
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfslive libghc-haxml-dev,
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfslive openjdk-7-jdk,
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfslive texlive-latex-base,
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfslive texlive-latex-extra,
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfslive texlive-pictures
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfsliveStandards-Version: 3.9.3
eda63965b78ffeb9384c429c53f4eb5d22c2ca2arbowenPackage: hets-common
860b4efe27e7c1c9a2bf5c872b29c90f76849b51jimArchitecture: all
f6445f3ad1c82f9398dc8edd77093cd3e20b806cnoirinDepends: libc6, libgcc1, libstdc++6
f6445f3ad1c82f9398dc8edd77093cd3e20b806cnoirinDescription: Data used by the hets-server as well as hets-desktop package.
860b4efe27e7c1c9a2bf5c872b29c90f76849b51jim This package contains the intersection of architecture independent libraries,
860b4efe27e7c1c9a2bf5c872b29c90f76849b51jim supporting scripts and other data of the hets-server and hets-desktop working
f6445f3ad1c82f9398dc8edd77093cd3e20b806cnoirin set. It also contains some hets related user guides and basic papers which may
860b4efe27e7c1c9a2bf5c872b29c90f76849b51jim help to dive into hets. For more information about hets see http://hets.eu/.
f6445f3ad1c82f9398dc8edd77093cd3e20b806cnoirinPackage: hets-desktop
860b4efe27e7c1c9a2bf5c872b29c90f76849b51jimArchitecture: i386 amd64
860b4efe27e7c1c9a2bf5c872b29c90f76849b51jimDepends: hets-common, owltools, ksh, darwin, eprover, spass, openjdk-8-jre | openjdk-7-jre, graphviz, wget, patch, file, perl, udrawgraph [i386] | udrawgraph:i386 [amd64], libatk1.0-0, libc6, libffi6, libgdk-pixbuf2.0-0, libglade2-0, libglib2.0-0, libgmp10, libgtk2.0-0, libpango-1.0-0, libtinfo5
860b4efe27e7c1c9a2bf5c872b29c90f76849b51jimDescription: The Heterogeneous Tool Set (hets) - desktop version.
860b4efe27e7c1c9a2bf5c872b29c90f76849b51jim This package contains the desktop version of the Heterogeneous Tool Set (hets).
f6445f3ad1c82f9398dc8edd77093cd3e20b806cnoirin Hets is a parsing, static analysis and proof management tool combining
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfslive various tools for different specification languages, thus providing a
f0a393c5c2d7de58f447855369ad2fbfa254e544rbowen tool for the heterogeneous specification language HetCASL. The structuring
f0a393c5c2d7de58f447855369ad2fbfa254e544rbowen constructs of this language are those of CASL, plus some new heterogeneous
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfslive constructs for indicating the language and for language translations. Hence,
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfslive Hets is based on a graph of logics and languages.
bc36e90829b1ee123307a2339519265139a88173sfPackage: hets-server
bc36e90829b1ee123307a2339519265139a88173sfArchitecture: i386 amd64
bc36e90829b1ee123307a2339519265139a88173sfDepends: hets-common, owltools, ksh, darwin, eprover, spass, openjdk-8-jre-headless | openjdk-7-jre-headless, graphviz, wget, patch, file, perl, libc6, libffi6, libgmp10
bc36e90829b1ee123307a2339519265139a88173sfDescription: The Heterogeneous Tool Set (hets) - server version.
bc36e90829b1ee123307a2339519265139a88173sf This package contains the server version of the Heterogeneous Tool Set (hets).
bc36e90829b1ee123307a2339519265139a88173sf Hets is a parsing, static analysis and proof management tool combining
bc36e90829b1ee123307a2339519265139a88173sf various tools for different specification languages, thus providing a
bc36e90829b1ee123307a2339519265139a88173sf tool for the heterogeneous specification language HetCASL. The structuring
bc36e90829b1ee123307a2339519265139a88173sf constructs of this language are those of CASL, plus some new heterogeneous
bc36e90829b1ee123307a2339519265139a88173sf constructs for indicating the language and for language translations. Hence,
bc36e90829b1ee123307a2339519265139a88173sf Hets is based on a graph of logics and languages. The difference to the
1f0a28764a0520e43ce3a9130e56236fd67cd568igalic hets-desktop package is, that this one has no GUI support, i.e. compiled
bc36e90829b1ee123307a2339519265139a88173sf without GTK+/Glade/TclTk support and thus reduces the number of
bc36e90829b1ee123307a2339519265139a88173sf dependencies/required ressources noteworthy - much more appropriate for server
bc36e90829b1ee123307a2339519265139a88173sf environments.
4927aa0c58523071e62d47580cec3b1fb1100ae2rbowen############################################################################
3a257106808eabaefbb483bdc6273e7af062ead8humbedooh# TBD: hets-provers, hets-desktop-all, hets-server-all
bc36e90829b1ee123307a2339519265139a88173sf############################################################################
bc36e90829b1ee123307a2339519265139a88173sfPackage: hets-provers
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowenArchitecture: i386 amd64
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowenDepends: cvc3, darwin, edarwin, eprover, fact++, hol-light, maude, minisat, spass, z3
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowen# TBD: cvc3 -> cvc4, edarwin -> e-darwin, ekrhyper (n/a), leo2 (n/a), kodkodi (n/a), satallax (n/a), twelf (n/a), yices (n/a), zchaff (n/a)
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowen# NOTE: z3 @since 15.10, darwin/edarwin/eprover (PPA)
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowenDescription: Provers for Hets.
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowen This meta-package bundles all known provers which might be useful in hets
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowen related environments. It is just for convinience to be able to install all
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowen prover packages at once (and find out later the details).
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowenPackage: hets-desktop-all
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowenArchitecture: i386 amd64
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowenDepends: hets-desktop, hets-provers, pellet, isabelle-installer
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowen# TBD: protege4 (n/a), protege4-plugins (n/a)
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowenDescription: The Heterogeneous Tool Set (hets) - desktop plus.
9b3696c7ad70387ecd46e0f061b99d381dc392f9rbowen This is a meta-package which pulls in the hets-desktop as well as all any
bc36e90829b1ee123307a2339519265139a88173sf other known package, which might be helpful when dealing with hets.
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfslivePackage: hets-server-all
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfsliveArchitecture: i386 amd64
013e1ddd21f2142a369c9a9a0eeb6c6a0bc3fcf3patrikjDepends: hets-server, hets-provers, pellet, isabelle-installer
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfsliveDescription: The Heterogeneous Tool Set (hets) - server plus.
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfslive This is a meta-package which pulls in the hets-server as well as all any
1c47b0c72c991a6f0ad172c74df0936fe13d6fbfslive other known non-GUI package, which might be helpful when using hets as a