control revision a389e88e0acb83d8489bdc5e55bc5522b152bbec
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-uni-udrawgraph-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-wai-extra-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-warp-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-random-dev,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner libghc-haxml-dev,
63f101eea51c833ecf28ec5b1ff509595c9cc54eJens Elkner openjdk-7-jdk | openjdk-8-jdk,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner texlive-latex-base,
35d9b0c5ea024632b8affc7bd1437417986b18cdJens Elkner texlive-latex-extra,
ed906080e60183fe237f358cf8b36d6125596a1eJens Elkner texlive-pictures,
ed906080e60183fe237f358cf8b36d6125596a1eJens Elkner texlive-fonts-recommended
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
55282ad62e8b6758abec43734ebde0015ac14b89Eugen KuksaDepends: hets-common, hets-libs, owltools, ksh, darwin, eprover, spass, openjdk-8-jre | openjdk-7-jre, graphviz, 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
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski tool for the distributed ontology, modeling and specification language DOL,
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski and the heterogeneous specification language HetCASL. The structuring
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski constructs of this language extend those of CASL, with (among others) new
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski heterogeneous constructs for indicating the language and for language
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski translations. Hence, Hets is based on a graph of logics and languages.
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerPackage: hets-server
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerArchitecture: i386 amd64
a389e88e0acb83d8489bdc5e55bc5522b152bbecEugen KuksaDepends: hets-common, hets-libs, owltools, ksh, darwin, eprover, spass, openjdk-8-jre-headless | openjdk-7-jre-headless, graphviz, patch, file, perl, libc6, libffi6, libgmp10, postgresql, libpq5
35d9b0c5ea024632b8affc7bd1437417986b18cdJens ElknerDescription: The Heterogeneous Tool Set (hets) - server version.
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski This package contains the server version of the Heterogeneous Tool
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski Set (hets). Hets is a parsing, static analysis and proof management
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski tool combining various tools for different specification languages,
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski thus providing a tool for the distributed ontology, modeling and
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski specification language DOL, and the heterogeneous specification
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski language HetCASL. The structuring constructs of this language extend
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski those of CASL, with (among others) new heterogeneous constructs for
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski indicating the language and for language translations. Hence, Hets is
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski based on a graph of logics and languages. The difference to the
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski hets-desktop package is, that this one has no GUI support,
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski i.e. compiled without GTK+/Glade/TclTk support and thus reduces the
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski number of dependencies/required ressources noteworthy - much more
7c54e89cf806cc28b5fa30bbe80e66649c4f70bbTill Mossakowski appropriate for server 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