Source: why3 Version: 1.1.1-3 Severity: serious Tags: ftbfs Control: block 918633 by -1
https://buildd.debian.org/status/package.php?p=why3 ... dh_install -a -XLICENSE dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3" (tried in ., debian/tmp) dh_install: libwhy3-ocaml-dev missing files: debian/tmp/usr/local/lib/ocaml/*/why3 dh_install: missing files, aborting make[1]: *** [debian/rules:31: override_dh_install-arch] Error 25