Source: why Version: 2.36-2 Severity: serious https://buildd.debian.org/status/package.php?p=why&suite=sid
... mkdir -p /«PKGBUILDDIR»/debian/why/usr/share/why/coq cp -f lib/coq/Jessie_memory_model.vo /«PKGBUILDDIR»/debian/why/usr/share/why/coq /usr/bin/make -C frama-c-plugin install make[3]: Entering directory '/«PKGBUILDDIR»/frama-c-plugin' mkdir -p /«PKGBUILDDIR»/debian/why/usr/lib/frama-c/plugins cp ./META.frama-c-jessie ./Jessie.cmi ./Jessie.cmo ./Jessie.cma /«PKGBUILDDIR»/debian/why/usr/lib/frama-c/plugins cp: cannot stat './META.frama-c-jessie': No such file or directory /usr/share/frama-c/Makefile.dynamic:263: recipe for target 'install' failed make[3]: *** [install] Error 1
