Adrian Bunk Tue, 14 Apr 2020 01:03:50 -0700
Source: prooftree Version: 0.13-1 Severity: serious Tags: bullseye sid prooftree must build depend on coq, to prevent building on architectures where it would not be installable.
