Package bitwuzla-bin
do-deps
prep
OKdep-compile conf-gmp.4-d41d8cd98f00b204e9800998ecf8427e
dep-compile conf-git.1.1-d41d8cd98f00b204e9800998ecf8427e
dep-compile conf-gcc.1.0-d41d8cd98f00b204e9800998ecf8427e
dep-compile conf-g++.1.0-d41d8cd98f00b204e9800998ecf8427e
dep-compile conf-cmake.1-d41d8cd98f00b204e9800998ecf8427e
do-compile
OKdo-html
OK