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.
- Bug#956674: prooftree must build depend on coq Adrian Bunk
- Processed: Bug#956674 marked as pending in... Debian Bug Tracking System
- Bug#956674: marked as pending in prooftree Gianfranco Costamagna
- Bug#956674: marked as done (prooftree must... Debian Bug Tracking System
