Control: tags -1 + patch I take it that this untested patch will solve the build problem and get yosys back into testing:
diff --git a/debian/control b/debian/control
index ef462b72..6d64bcfc 100644
--- a/debian/control
+++ b/debian/control
@@ -35,7 +35,7 @@ Build-Depends-Indep:
tex-gyre,
latexmk,
lmodern,
- graphviz,
+ graphviz-tools,
faketime,
pdf2svg,
python3-sphinx,
--
Happy hacking
Petter Reinholdtsen

