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.