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. -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers