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