Package: ftp.debian.org Severity: normal
Hello, when fixing the bug: #956674 I discovered prooftree was built in architectures without a coq available. Please drop those. (coq in experimental is building everywhere except s390x, so prooftree will be back there eventually) G.