SPELL=z3
         VERSION=4.8.10
          SOURCE=$SPELL-$VERSION.tar.gz
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$SPELL-$VERSION"
        WEB_SITE=https://github.com/Z3Prover/z3
      SOURCE_URL=$WEB_SITE/archive/$SOURCE
     SOURCE_HASH=sha512:d2741d7ad3e1d5ee3fec92095b061a96a700c3327b2eb2090d4162bdcaeaebca8c072ef79c5daac1f6de3456165c2cc38e13f1045bc707779d1027b943837c5b
         LICENSE=(MIT)
           SHORT="The Z3 Theorem Prover"
cat << EOF
Z3 is an SMT solver and supports the SMTLIB format.
EOF

.