set name=pkg.fmri value=pkg://lnf/developer/hets/hets-server@0.99.14,5.11-1.3.10.5:20160814T221740Z
set name=pkg.summary value="Heterogeneous Tool Set - server"
set name=pkg.description value="This package contains the server version of the Heterogeneous Tool Set (hets).  Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for the distributed ontology, modeling and specification language DOL, and the heterogeneous specification language HetCASL. The structuring constructs of this language extend those of CASL, with (among others) new heterogeneous constructs for indicating the language and for language translations. Hence, Hets is based on a graph of logics and languages.  The difference to the hets-desktop package is, that this one has no GUI support, i.e. compiled without GTK+/Glade/TclTk support and thus reduces the number of dependencies/required ressources noteworthy - much more appropriate for server environments."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=https://github.com/spechub/Hets.git
set name=org.opensolaris.smf.fmri value=svc:/network/hets value=svc:/network/hets:default value=svc:/network/hets:uml
set name=variant.arch value=i386
file 5a0891780d26545e173ec1017d45e8e12210ec00 chash=ea614cae7e3a63a5b5030a97b5ce2c50f6e4acc3 group=sys mode=0444 owner=root path=lib/svc/manifest/network/hets.xml pkg.csize=2844 pkg.size=7701 restart_fmri=svc:/system/manifest-import:default
file 222351e9a6aceb13b152cf643885a181f7339d4f chash=aa8c1f3e61783b8acd3c397f5fe11a0bc338fb53 group=bin mode=0755 owner=bin path=local/usr/bin/hets-server pkg.csize=458 pkg.size=1489
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets
file 55d84e7c1451cc16a09235377917fbc876a08dc4 chash=a84769836fe115e32f096839954879f92418f23f elfarch=i386 elfbits=32 elfhash=f5db96514030bd12c2e53620c658e756eb340a54 group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-server pkg.csize=18666938 pkg.size=73594272
file 676dfd10390c298a2fa65fd5f3a04f1212f3ccc8 chash=27581cb4149c74970ea88f9bd4344b5f06220bfd facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/hets-server.1 pkg.csize=4564 pkg.size=11319 restart_fmri=svc:/application/man-index:default
legacy arch=i386 category=develop,util,application desc="see: pkg info developer/hets/hets-server" name="Heterogeneous Tool Set - server" pkg=LNFhets-server version=0.99.14
depend fmri=pkg:/developer/hets/darwin type=require
depend fmri=pkg:/developer/hets/eprover type=require
depend fmri=pkg:/developer/hets/hets-common type=require
depend fmri=pkg:/developer/hets/hets-libs type=require
depend fmri=pkg:/developer/hets/owltools type=require
depend fmri=pkg:/developer/hets/spass type=require
depend fmri=pkg:/file/gnu-file type=require
depend fmri=pkg:/image/graphviz type=require
depend fmri=pkg:/library/gmp@4.3 type=require
depend fmri=pkg:/library/libffi@3.0 type=require
depend fmri=pkg:/library/security/openssl type=require
depend fmri=pkg:/library/zlib@1.2 type=require
depend fmri=pkg:/shell/ksh93@93.21 type=require
depend fmri=pkg:/system/core-os@0.5 type=require
depend fmri=pkg:/system/library/math@0.5 type=require
depend fmri=pkg:/system/library@0.5 type=require
depend fmri=pkg:/system/linker@0.5 type=require
depend fmri=pkg:/system/network@0.5 type=require
depend fmri=pkg:/text/gnu-patch type=require
depend fmri=pkg:/web/curl type=require
depend fmri=pkg:/runtime/java/jre-7 fmri=pkg:/runtime/java/jre-8 fmri=pkg:/runtime/jre type=require-any