Build tree for "cryptominisat" on toolchain "vanilla"

• 2 None
  • 1 ./configure --host=x86_64-unknown-linux --prefix=/usr
• 0 /usr/sbin/pacman -T zlib gcc-libs