CLASSES=none
PSTAMP=q20160322150745
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 provides a collection of basic libraries in CASL and other logics as well as DOL examples, etc., for use with the hets server as well as hets desktop package. Hets is a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications. Logic translations are first-class citizens.
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,util,application
NAME=Heterogeneous Tool Set - libraries
SERIALNUM=001
VERSION=0.99.2
ARCH=i386
PKG=LNFhets-libs