set name=pkg.fmri value=pkg://lnf/developer/hets/maude@2.7,5.11-1.3.1.5:20151101T021957Z
set name=pkg.summary value="Maude 2 interpreter"
set name=pkg.description value="Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=http://maude.cs.illinois.edu/
set name=variant.arch value=i386
file a1098702f0c0ef37195c03e17f8ec1d378df8623 chash=af3e30d6fbd4abf5fd480e274736a60a47590949 elfarch=i386 elfbits=32 elfhash=fc899cf7dd2c31130837d65d76fe3fae7f6f3d44 group=bin mode=0755 owner=bin path=local/usr/bin/maude pkg.csize=2204226 pkg.size=5822280
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/maude
file 9002fb3d7ff1a823c9a323ca43172f9479f41275 chash=3cdf0d9c220234942228e200fb899c83647f71e3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/maude/AUTHORS pkg.csize=135 pkg.size=126
file 471a94d8b1e62b945c5189856e7b6a067e397d8b chash=6456d0bfd3319e525e80124c36974b5d34df89ee facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/maude/ChangeLog pkg.csize=1804 pkg.size=8465
file 4dfb636358e395e5439544188e124a07bf64a0c2 chash=1f97b7057d83ec82afdb0174b0271131b31e42f5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/maude/NEWS pkg.csize=6346 pkg.size=21323
file 2ead904e1469a472d9497d8916f74853c1f1209a chash=f36979c00837564cc66db021c2fe9e071ced4cbb facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/maude/README pkg.csize=275 pkg.size=397
dir group=bin mode=0755 owner=bin path=local/usr/share/maude
file 60d9eda36af2951e970d09b6772a8da722009cb6 chash=f43e4c6327ed8ec966fff50818d700985f413d2b group=bin mode=0444 owner=bin path=local/usr/share/maude/linear.maude pkg.csize=1233 pkg.size=3540
file 4c404e13486ea307bec55d79af7b3aa3f9ff895c chash=40bcef9413448b694d4af2cd8811975e243ad8e5 group=bin mode=0444 owner=bin path=local/usr/share/maude/machine-int.maude pkg.csize=1451 pkg.size=3965
file 258a58e14cdf2f4c8e5ca8c183a5ae51408fe966 chash=20de9c989e49c6a0520ee3102cc2086aa741fb22 group=bin mode=0444 owner=bin path=local/usr/share/maude/metaInterpreter.maude pkg.csize=1003 pkg.size=3328
file 935c92765b0a40db5e63b9c9733fae15a65115be chash=bda62e1a7c3b72765be3707f593cbeb27286c1df group=bin mode=0444 owner=bin path=local/usr/share/maude/model-checker.maude pkg.csize=2651 pkg.size=9776
file 552c5a58ae5bd01c0bc359e9fea68820a223195f chash=479e3e55c829686e54de3fce47caef4b3530a2de group=bin mode=0444 owner=bin path=local/usr/share/maude/prelude.maude pkg.csize=13627 pkg.size=87307
file 3c05bf7be815d6276ef024e738902dc6919afdcc chash=6e17565fcd829a0189a6780663a90716b3b99bd7 group=bin mode=0444 owner=bin path=local/usr/share/maude/socket.maude pkg.csize=967 pkg.size=2842
file 44c0325c723baa9f283c8184152e1cad277b164d chash=5b93e144820e9772d89724dc07defe58fcaa5d65 group=bin mode=0444 owner=bin path=local/usr/share/maude/term-order.maude pkg.csize=848 pkg.size=1619
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/maude" name="Maude 2 interpreter" pkg=LNFmaude version=2.7
depend fmri=pkg:/library/libsigsegv@2.6 type=require
depend fmri=pkg:/library/libtecla@1.6 type=require
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