Source: why
Version: 2.38-1
Severity: serious
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/why.html
...
dh_install -O--no-parallel
dh_install: Cannot find (any matches for) "frama-c-plugin/top/Jessie.o" (tried
in ., debian/tmp)
dh_install: why missing files: frama-c-plugin/top/Jessie.o
dh_install: missing files, aborting
install -d debian/.debhelper/generated/why
install -d debian/.debhelper/generated/libwhy-coq
debian/rules:67: recipe for target 'binary' failed
make: *** [binary] Error 25
