CLASSES=none manifest rename
PSTAMP=q20170728163255
LICFILE=lgpl2.txt
LICURL=http://www.gnu.org/licenses/lgpl-2.1.html
LICINFO=GNU Lesser General Public License, Version 2.1, February 1999
DESC=This package contains the server version of the Heterogeneous Tool Set (hets).  Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for the distributed ontology, modeling and specification language DOL, and the heterogeneous specification language HetCASL. The structuring constructs of this language extend those of CASL, with (among others) new heterogeneous constructs for indicating the language and for language translations. Hence, Hets is based on a graph of logics and languages.  The difference to the hets-desktop package is, that this one has no GUI support, i.e. compiled without GTK+/Glade/TclTk support and thus reduces the number of dependencies/required ressources noteworthy - much more appropriate for server environments.
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,util,application
NAME=Heterogeneous Tool Set - server
SERIALNUM=001
VERSION=0.99.14
ARCH=i386
PKG=LNFhets-server