set name=pkg.fmri value=pkg://lnf/developer/hets/hets-common@0.99.14,5.11-1.3.10.5:20160814T221718Z
set name=pkg.summary value="Heterogeneous Tool Set - common data"
set name=pkg.description value="This package contains the intersection of architecture independent libraries, supporting scripts and other data of the hets-server and hets-desktop working set. It also contains some hets related user guides and basic papers which may help to dive into hets. For more information about hets see http://hets.eu/."
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
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets
file abf99aa5ec1356c607e389bbd61511a8e61a445e chash=3fb5b16f574c5ebfbfdeda02ad872f8e9ab6e499 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hetcasl.sty pkg.csize=3020 pkg.size=10138
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-isa-tools
file 1aa3cc959a44259b491d9c59507d009d91cb134a chash=f629fd84546aecf43b41d7c654156aa9ff845578 group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-isa-tools/export.sh pkg.csize=1201 pkg.size=2441
file a59ad3a126f2c3e137863fd89651173637e134c7 chash=36cde7928b5e4fa529d665a8b9b9ad6558285d98 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-isa-tools/export_helper.ml pkg.csize=11845 pkg.size=59461
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-maude-lib
file bfcf1dc4de43ce63b0464c1537be854b13ee8a94 chash=be5072f1f648c6ddef0b2f0318dc1681ed8f5941 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-maude-lib/full-maude.maude pkg.csize=149180 pkg.size=841577
file ec7c61b362085ca782910238ad96623965f86434 chash=9a25ed49276f22444baf2574723c075f1238a0a4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-maude-lib/hets.prj pkg.csize=62 pkg.size=65
file bb2c4ace7bc8c67e74dd46182eaff2a944abaeb2 chash=a759aef7710a590bd9a9cc952f0456afe07eafc5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-maude-lib/maude2haskell.maude pkg.csize=4887 pkg.size=29321
file 9bf6c69576e8fa04c6600b6817cfe6425ecb2343 chash=a8cad2dab555c516581314bbcb11d00b2d379960 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-maude-lib/parsing.maude pkg.csize=1773 pkg.size=6626
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-owl-tools
link path=local/usr/lib/hets/hets-owl-tools/AProVE.jar target=../CASL/Termination/AProVE.jar
file 36750767373ab99f45e5e3542254a9c474e417c3 chash=541593d9e211ca93af7b4a35c4b6c48a1477d138 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-owl-tools/OWL2Parser.jar pkg.csize=14084 pkg.size=15255
file bfa06f27de9e3289c2bdf4a653fff7a600e1d127 chash=eaf6d0a0a2656772cf0ae91d68756e79e0787905 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-owl-tools/OWLFact.jar pkg.csize=1842 pkg.size=2327
file 4adc21e9fe9c033a4ef5d8718cac28e6fd08e765 chash=e993e9d833233d6512b605e095c9e616429346bf group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-owl-tools/OWLFactProver.jar pkg.csize=8473 pkg.size=9105
file 32b400de8e2be9bfb38e2a74409bfafde2c48add chash=3cc19fe7a1e7c7fc264789f24af87c3f50d0f5fb group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-owl-tools/OWLLocality.jar pkg.csize=2840 pkg.size=3351
link path=local/usr/lib/hets/hets-owl-tools/OntoDMU.jar target=../DMU/OntoDMU.jar
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-owl-tools/lib
file cce0823396aa693798f8882e64213b1772032b09 chash=8dbe46e604ded345073955b00b2854387682626d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-owl-tools/lib/guava-18.0.jar pkg.csize=1993739 pkg.size=2256213
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-owl-tools/lib/native
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-owl-tools/lib/native/i86pc
file 04ef5eb59d3b9f54519c88e18b881e54d6d6945d chash=0fdde06c77a4eecb5542c70f9d69c19bb51904f1 elfarch=i386 elfbits=64 elfhash=3ae179c3be00af730d2cffff386431f45c82d431 group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-owl-tools/lib/native/i86pc/libFaCTPlusPlusJNI.so pkg.csize=683645 pkg.size=1954096
file 09400d90db7ca1ac17204f8ee0df5adb408177bc chash=e2b4e90767b1e39c3694f902bccccaa9aa2b8ba9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-owl-tools/lib/owlapi-osgidistribution-3.5.2.jar pkg.csize=2234778 pkg.size=2514952
file 2655d70ec351ed68ac4341c658f3c095eaad982a chash=f031b18f0d657b060200dffe9265e4516215e058 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-owl-tools/lib/readme.txt pkg.csize=104 pkg.size=122
file 42ccaf4761f0dfdfa805c9e340d99a755907e2dd chash=dd8f0dd488c64d7372834dc962494d66d109da4c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-owl-tools/lib/trove4j-3.0.3.jar pkg.csize=2251162 pkg.size=2523218
file caccec788f9e2befe4d2643f60d7f1d6a56a97d4 chash=197626142b820fe5cbad80cd51720f9b5f113b3b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-owl-tools/lib/uk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jar pkg.csize=43029 pkg.size=50448
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-owl-tools/tests
file 53f68ec9909e830ed9cf788d4656188038b08f54 chash=f84c1152cd4ac3657353ed53f3a03f29a8e9d324 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-owl-tools/tests/wine.rdf pkg.csize=5477 pkg.size=78225
file 47f50ab095a606a2a77dd048792d411d3086e875 chash=5724f91a0bd6913421425e0baf10e96793600da6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets.magic pkg.csize=834 pkg.size=4865
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/hets
file dfde65aa47611727ead067cea6b343cbf7c4b1ef chash=74ceef5af5fb31090d88275b77e909fd2edd7cac facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/hets/CLgraph.pdf pkg.csize=40606 pkg.size=62971
file e6d4073390b7dd1110a83f1da39b78098245ca28 chash=423161278112493e54112785b9556bf83a419bae facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/hets/LNCS2960_297-298.pdf pkg.csize=287735 pkg.size=351847
file 0a7207873df3cb515a003498156b084f8c4a0caf chash=7897859e95bf4e51804f417035d356c95d6f5ba1 facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/hets/LogicGraph-CL.pdf pkg.csize=50332 pkg.size=51062
file 136832b539463e883ea2e733f7381051b29c5f67 chash=ed2df063921227786a5b83bce8964baa89d4b686 facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/hets/LogicGraph.pdf pkg.csize=69738 pkg.size=70009
file 28ab6fdc400a1339ec8df01f98dccb3fae668abf chash=4620a93ddee91f24102cb6a36cddf74afea134b8 facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/hets/SublogicGraph.pdf pkg.csize=19871 pkg.size=21290
file 49422ac3236d78105e16f7604dcf5e11c167aa82 chash=4401cffb72c5ee3253cbe3c329fa88abc09e5c6b facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/hets/UserGuide.pdf pkg.csize=937901 pkg.size=977304
file fbb7b59b1ac279a0b26f457e2c58dd8e995eed26 chash=ee7b67999fcaa1791ed4e9a261c0899ea3f7d85d facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/hets/UserGuideCommonLogic.pdf pkg.csize=704054 pkg.size=756768
file d1994f7994c4fb77947218818a30292c8d851a6f chash=0317f472610eca61210a7e2b5f0a0ad85114c844 facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/hets/colore-subset.pdf pkg.csize=51109 pkg.size=51833
file aa9d928519cee90083c5e8e2df7c4294dc2d36ad chash=0ce28532419cff1ca1ea29cc0e1aa5f668242567 facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/hets/hets2007.pdf pkg.csize=16618 pkg.size=20078
file fef20756bb7f0fcea7910efe5ea4da8b8cdf4c76 chash=4cd7e02348a5bd28ebfc3698204daf9846aa5606 facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/hets/hs2isa.pdf pkg.csize=147648 pkg.size=165142
dir group=bin mode=0755 owner=bin path=local/usr/share/texmf/dist/tex/latex/hets
link path=local/usr/share/texmf/dist/tex/latex/hets/hetcasl.sty target=../../../../../../lib/hets/hetcasl.sty
file da39a3ee5e6b4b0d3255bfef95601890afd80709 chash=89892054d65b8b0dd6a081b33a97b6f2bd1fa267 group=bin mode=0644 owner=bin path=var/texlive/hets pkg.csize=20 pkg.size=0 restart_fmri=svc:/application/texhash-update:default
legacy arch=i386 category=develop,util,application desc="see: pkg info developer/hets/hets-common" name="Heterogeneous Tool Set - common data" pkg=LNFhets-common version=0.99.14
depend fmri=pkg:/system/library/gcc/gcc-c++-runtime@4.8 type=require
depend fmri=pkg:/system/library/math@0.5 type=require
depend fmri=pkg:/system/library@0.5 type=require