Source: cvc4 Version: 1.6-1 Severity: serious Hi, cvc4 fails to build on all autobuilders, with
Making all in options make[7]: Entering directory '/<<PKGBUILDDIR>>/builds/i686-pc-linux-gnu/production/src/options' [...] /usr/bin/env: 'python3': No such file or directory -Ralf.
