set name=pkg.fmri value=pkg://lnf/developer/hets/hets-server-all@1.0,5.11-1.3.10.5:20160731T012349Z set name=pkg.summary value="Heterogeneous Tool Set - server plus" set name=pkg.description value="This is a meta-package which pulls in the hets-server as well as all any other known package, which might be helpful when dealing with hets." set name=info.classification value=org.opensolaris.category.2008:Development/Hets set name=info.source-url value=https://github.com/spechub/Hets set name=variant.arch value=i386 legacy arch=i386 category=develop,util,application desc="see: pkg info developer/hets/hets-server-all" name="Heterogeneous Tool Set - server plus" pkg=LNFhets-server-all version=1.0 depend fmri=pkg:/developer/hets/hets-provers type=require depend fmri=pkg:/developer/hets/hets-server type=require depend fmri=pkg:/developer/hets/pellet type=require depend fmri=pkg:/library/texlive/tl-fonts type=require depend fmri=pkg:/library/texlive/tl-latex type=require depend fmri=pkg:/library/texlive/tl-utils type=require