[Pkg-electronics-devel] Bug#1004026: covered: gplcver support should be dropped or gplcver adopted by the Electronics Team

[Adrian Bunk]

Package: covered
Version: 0.7.10-3.1
Severity: serious
Control: block 965565 by -1

If gplcver provides any functionality not available in iverilog,
it would be useful if this orphaned package could be adopted by
the Electronics Team.

Otherwise, please drop gplcver support from covered.