VER=5.0.0
SRCS="git::commit=tags/z3-$VER::https://github.com/Z3Prover/z3"
CHKSUMS="SKIP"
CHKUPDATE="anitya::id=7812"
ENVREQ="total_mem=30"
