control revision 961087225d1d2b9534152a346d1a3755ed952fcd
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerSource: hets-src
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerSection: misc
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerPriority: optional
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerMaintainer: Hets packaging team Uni Bremen/Magdeburg <hets-devel@informatik.uni-bremen.de>
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerBuild-Depends:
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner dpkg, dpkg-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner ghc (>= 7.6.3),
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner ghc-haddock,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-parsec3-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-tar-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-glade-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-haskeline-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-hexpat-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-http-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-fgl-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-xml-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-aterm-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-programatica-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-uni-udrawgraph-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-wai-extra-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-warp-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-random-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-haxml-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner openjdk-7-jdk,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner texlive-latex-base,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner texlive-latex-extra,
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner texlive-pictures
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerStandards-Version: 3.9.3
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerPackage: hets-common
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerArchitecture: all
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerDepends: libc6, libgcc1, libstdc++6
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerDescription: Data used by the hets-server as well as hets-desktop package.
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner This package contains the intersection of architecture independent libraries,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner supporting scripts and other data of the hets-server and hets-desktop working
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner set. It also contains some hets related user guides and basic papers which may
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner help to dive into hets. For more information about hets see http://hets.eu/.
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerPackage: hets-desktop
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerArchitecture: i386 amd64
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerDepends: 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
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerDescription: The Heterogeneous Tool Set (hets) - desktop version.
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner This package contains the desktop version of the Heterogeneous Tool Set (hets).
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner Hets is a parsing, static analysis and proof management tool combining
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner various tools for different specification languages, thus providing a
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner tool for the heterogeneous specification language HetCASL. The structuring
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner constructs of this language are those of CASL, plus some new heterogeneous
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner constructs for indicating the language and for language translations. Hence,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner Hets is based on a graph of logics and languages.
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerPackage: hets-server
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerArchitecture: i386 amd64
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerDepends: hets-common, owltools, ksh, darwin, eprover, spass, openjdk-8-jre-headless | openjdk-7-jre-headless, graphviz, wget, patch, file, perl, libc6, libffi6, libgmp10
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerDescription: The Heterogeneous Tool Set (hets) - server version.
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner This package contains the server version of the Heterogeneous Tool Set (hets).
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner Hets is a parsing, static analysis and proof management tool combining
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner various tools for different specification languages, thus providing a
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner tool for the heterogeneous specification language HetCASL. The structuring
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner constructs of this language are those of CASL, plus some new heterogeneous
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner constructs for indicating the language and for language translations. Hence,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner Hets is based on a graph of logics and languages. The difference to the
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner hets-desktop package is, that this one has no GUI support, i.e. compiled
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner without GTK+/Glade/TclTk support and thus reduces the number of
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner dependencies/required ressources noteworthy - much more appropriate for server
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner environments.
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner############################################################################
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner# TBD: hets-provers, hets-desktop-all, hets-server-all
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner############################################################################
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerPackage: hets-provers
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerArchitecture: i386 amd64
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerDepends: cvc3, darwin, edarwin, eprover, fact++, hol-light, maude, minisat, spass, z3
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner# 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)
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner# NOTE: z3 @since 15.10, darwin/edarwin/eprover (PPA)
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerDescription: Provers for Hets.
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner This meta-package bundles all known provers which might be useful in hets
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner related environments. It is just for convinience to be able to install all
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner prover packages at once (and find out later the details).
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerPackage: hets-desktop-all
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerArchitecture: i386 amd64
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerDepends: hets-desktop, hets-provers, pellet, isabelle-installer
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner# TBD: protege4 (n/a), protege4-plugins (n/a)
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerDescription: The Heterogeneous Tool Set (hets) - desktop plus.
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner This is a meta-package which pulls in the hets-desktop as well as all any
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner other known package, which might be helpful when dealing with hets.
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerPackage: hets-server-all
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerArchitecture: i386 amd64
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerDepends: hets-server, hets-provers, pellet, isabelle-installer
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerDescription: The Heterogeneous Tool Set (hets) - server plus.
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner This is a meta-package which pulls in the hets-server as well as all any
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner other known non-GUI package, which might be helpful when using hets as a