CLASSES=none rename
PSTAMP=q20170728163253
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 desktop 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.
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,util,application
NAME=Heterogeneous Tool Set - desktop
SERIALNUM=001
VERSION=0.99.14
ARCH=i386
PKG=LNFhets-desktop