Test: try libgraphviz-dev instead of graphviz-dev

uds-se · Nov 12, 2023 · e027403 · e027403
1 parent f6abdd7
commit e027403
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/binder/apt.txt b/binder/apt.txt
@@ -14,6 +14,7 @@
 
 # This is needed for drawing trees
 graphviz
+libgraphviz-dev
 
 # Selenium
 firefox