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