PKG=LNFhets-libs
ARCH=x86_64
VERSION=0.108.0
SERIALNUM=001
NAME=Heterogeneous Tool Set - libraries
CATEGORY=develop,util,application
EMAIL=jel+ubuntu-pkg@cs.uni-magdeburg.de
VENDOR=http://theo.iks.cs.ovgu.de/
BASEDIR=/usr
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.
LICINFO=GNU Lesser General Public License, Version 2.1, February 1999
LICURL=http://www.gnu.org/licenses/lgpl-2.1.html
LICFILE=lgpl2.txt
PSTAMP=jammy20221009044811
CLASSES=none