PKG=LNFz3-dev-48
ARCH=x86_64
VERSION=4.8.9
SERIALNUM=001
NAME=Theorem Prover Z3 - developer support
CATEGORY=develop,application
EMAIL=jel+ubuntu-pkg@cs.uni-magdeburg.de
VENDOR=http://theo.iks.cs.ovgu.de/
BASEDIR=/usr
DESC=Z3 is a theorem prover from Microsoft Research. This package contains file required to build applications which use the Z3 library.
LICINFO=MIT License (free)
LICURL=http://www.opensource.org/licenses/mit-license.html
LICFILE=mit.txt
PSTAMP=focal20220916182324
CLASSES=none