set name=pkg.fmri value=pkg://lnf/developer/hets/kodkodi@1.5.2,5.11-1.3.2.4:20151214T044101Z
set name=pkg.summary value="Relational logic solver Kodkod"
set name=pkg.description value="Kodkodi is a Java front-end for Kodkod, a highly-optimized relational model finder developed by the Software Design Group at MIT. For more information have a look at the included manual."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=http://www21.in.tum.de/~blanchet/
set name=variant.arch value=i386
link path=local/usr/bin/kodkodi target=../share/java/kodkodi/bin/kodkodi
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/kodkodi
file aad5d5ecc4c53bce8734bacaf880e51424a6a9bc chash=5a8708fe9e2db780f9ff6e9700511687728aefcd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/kodkodi/HISTORY pkg.csize=1502 pkg.size=3809
file f01e1ee403534edee9efc921641ee45a93d85820 chash=efc7513d037ab203a1e7beb56229e182bb181775 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/kodkodi/antlr.license pkg.csize=784 pkg.size=1424
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/kodkodi/examples
file e35e8d5a47eb25ff82a508decf9fd289f7252768 chash=c74fcfdd51ac5648337b6a1cde49634e426d2f05 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/kodkodi/examples/allops.kki pkg.csize=692 pkg.size=1653
file 7b9e02737f4be207c29132014e3fc6ea8a962c24 chash=db46db44b6d64e7cdc2cc14adc0eef3ba193487f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/kodkodi/examples/intsort.kki pkg.csize=355 pkg.size=633
file 2d532d65f82ac70b9632cd833dd2c70260af8147 chash=9c31f1e2be6b4b743754bbb49b79dd23caa6aaf8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/kodkodi/examples/let.kki pkg.csize=78 pkg.size=91
file ac3a04767fc8a6469990d7243c9cc682e814ff04 chash=02d66d5bb229c887701c48adbad080cb643d093c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/kodkodi/examples/naryops.kki pkg.csize=182 pkg.size=386
file e77533de16dbbba2259c525eb4df76bd60ccbe50 chash=b780dbd439a740d0877487320807bb07df536aa0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/kodkodi/examples/opsassoc.kki pkg.csize=523 pkg.size=1711
file b2ac9948c77632703508e1a21cba1ea8e584de48 chash=9e1a500080e7170c52387b54a5525bbf663e2003 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/kodkodi/examples/opsprec.kki pkg.csize=318 pkg.size=798
file 563a02b33bfbaa91cecc62a51e053a2587edc60b chash=3614243e3d127530a97b7dd6fe8ac87d29cd3acf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/kodkodi/examples/pigeonhole.kki pkg.csize=194 pkg.size=237
file 1f91b49ff7185042e4943511a2a486651793208d chash=8dcd85035887c0c83f149eddc97ee0cd30f7d782 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/kodkodi/examples/weber3.kki pkg.csize=153 pkg.size=154
file f52b83991ed0c8ac5b9ba97e0549752df9356091 chash=d4ce55aebb47aa4d9674bcd51521bdad22dddc1c facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/kodkodi/manual.pdf pkg.csize=152243 pkg.size=166250
dir group=bin mode=0755 owner=bin path=local/usr/share/java/kodkodi
dir group=bin mode=0755 owner=bin path=local/usr/share/java/kodkodi/bin
file b1f9df0a14c0b78885aedfd8c0c17dfb1709f2f7 chash=d9302f99572faa7278861d8a8c3895ec5f4d2d6d group=bin mode=0755 owner=bin path=local/usr/share/java/kodkodi/bin/kodkodi pkg.csize=1077 pkg.size=1951
dir group=bin mode=0755 owner=bin path=local/usr/share/java/kodkodi/lib
file d037259f597fafeae1cf90cfef3fd65918ae5a86 chash=8aa3014239ed9b1239728fd0fb7c526268c614de group=bin mode=0444 owner=bin path=local/usr/share/java/kodkodi/lib/antlr-runtime-3.1.1.jar pkg.csize=103993 pkg.size=116205
file a82939341f330628d2c1c39e5fb4e85ff2e53597 chash=406834e1ada074db7af69694c19a93ed4bcfbc0a group=bin mode=0444 owner=bin path=local/usr/share/java/kodkodi/lib/kodkodi.jar pkg.csize=79543 pkg.size=82458
dir facet.devel=true group=bin mode=0755 owner=bin path=local/usr/share/java/kodkodi/src
file 6b75e9fe0187f1a4214681076de453a9ea899733 chash=b5061098beb4311a870ee68cb7ff884e89b58c4b facet.devel=true group=bin mode=0444 owner=bin path=local/usr/share/java/kodkodi/src/kodkodi-src.jar pkg.csize=63611 pkg.size=64696
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/kodkodi" name="Relational logic solver Kodkod" pkg=LNFkodkodi version=1.5.2
license e709d2c573f4f5904912c4fcf98c3c8648542909 chash=57e4873337bad40b7960798501e1105d75bc5047 license=LNFkodkodi.copyright pkg.csize=120 pkg.size=114
depend fmri=pkg:/library/java/kodkod@1.5 type=incorporate
depend fmri=pkg:/runtime/java/jre-6 fmri=pkg:/runtime/java/jre-7 fmri=pkg:/runtime/java/jre-8 fmri=pkg:/runtime/jre type=require-any