Bug#858366: libwhy-coq: sourceful upload needed to update coq dependency

[Andreas Beckmann <anbe@debian.org>]

Package: libwhy-coq
Version: 2.36-5
Severity: serious
User: debian-qa@lists.debian.org
Usertags: piuparts

Hi,

during a test with piuparts I noticed your package is no longer
installable in sid:

The following packages have unmet dependencies:
 libwhy-coq : Depends: coq-8.5+4.02.3 but it is not installable

A binNMU is not possible since libwhy-coq is arch:all.

Please also consider relaxing the frama-c-base dependency to not
require a binNMU for every frama-c upload.


Cheers,

Andreas