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