set name=pkg.fmri value=pkg://lnf/developer/hets/hets-desktop@0.99.14,5.11-1.3.10.5:20160814T221720Z
set name=pkg.summary value="Heterogeneous Tool Set - desktop"
set name=pkg.description value="This package contains the desktop 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."
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=variant.arch value=i386
file 222351e9a6aceb13b152cf643885a181f7339d4f chash=aa8c1f3e61783b8acd3c397f5fe11a0bc338fb53 group=bin mode=0755 owner=bin path=local/usr/bin/hets pkg.csize=458 pkg.size=1489
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets
file bb575ecafb630c45ab25f212cad60a298669273a chash=ccb5e77b4941142186dfb41280522951eb940ea4 elfarch=i386 elfbits=32 elfhash=f226b21363d503a026138ee864420799fc67a15d group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets pkg.csize=21778033 pkg.size=85957580
file de7590288119db6ec3397435e7b7a6a1177d780a chash=39af60fdcd951d3d60a6de02bd886f0d24262431 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/hets.1 pkg.csize=4440 pkg.size=11138 restart_fmri=svc:/application/man-index:default
legacy arch=i386 category=develop,util,application desc="see: pkg info developer/hets/hets-desktop" name="Heterogeneous Tool Set - desktop" pkg=LNFhets-desktop 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-coreutils type=require
depend fmri=pkg:/file/gnu-file type=require
depend fmri=pkg:/image/graphviz type=require
depend fmri=pkg:/library/desktop/atk@1.30 type=require
depend fmri=pkg:/library/desktop/cairo@1.8 type=require
depend fmri=pkg:/library/desktop/gtk2@2.20 type=require
depend fmri=pkg:/library/desktop/libglade@2.6 type=require
depend fmri=pkg:/library/desktop/pango@1.28 type=require
depend fmri=pkg:/library/glib2@2.28 type=require
depend fmri=pkg:/library/gmp@4.3 type=require
depend fmri=pkg:/library/libffi@3.0 type=require
depend fmri=pkg:/library/libxml2@2.9 type=require
depend fmri=pkg:/library/ncurses@5.7 type=require
depend fmri=pkg:/library/security/openssl type=require
depend fmri=pkg:/library/zlib@1.2 type=require
depend fmri=pkg:/runtime/perl-512 type=require
depend fmri=pkg:/shell/ksh93@93.21 type=require
depend fmri=pkg:/system/library/fontconfig@2.8 type=require
depend fmri=pkg:/system/library/freetype-2@2.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:/text/gnu-patch type=require
depend fmri=pkg:/web/curl type=require
depend fmri=pkg:/x11/library/libx11@1.6 type=require
depend fmri=pkg:/x11/library/libxcomposite@0.4 type=require
depend fmri=pkg:/x11/library/libxcursor@1.1 type=require
depend fmri=pkg:/x11/library/libxdamage@1.1 type=require
depend fmri=pkg:/x11/library/libxext@1.3 type=require
depend fmri=pkg:/x11/library/libxfixes@5.0 type=require
depend fmri=pkg:/x11/library/libxi@1.7 type=require
depend fmri=pkg:/x11/library/libxinerama@1.1 type=require
depend fmri=pkg:/x11/library/libxrandr@1.4 type=require
depend fmri=pkg:/x11/library/libxrender@0.9 type=require
depend fmri=pkg:/runtime/java/jre-7 fmri=pkg:/runtime/java/jre-8 fmri=pkg:/runtime/jre type=require-any