Package: libwhy-coq Version: 2.36-5 Severity: serious User: debian...@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
