PSTAMP=q20160731032449
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 meta-package bundles all known provers which might be useful in hets related environments. It is just for convinience to be able to install all prover packages at once (and find out later the details).
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,util,application
NAME=Heterogeneous Tool Set - provers
SERIALNUM=001
VERSION=1.0
ARCH=i386
PKG=LNFhets-provers