From 0d0034a9b606a9a1c19d78719f38a2729cbc31c5 Mon Sep 17 00:00:00 2001
From: Andreas Zeller <zeller@cispa.de>
Date: Sun, 12 Nov 2023 18:39:55 +0100
Subject: [PATCH] Test: try libgraphviz-dev instead of graphviz-dev

---
 binder/apt.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/binder/apt.txt b/binder/apt.txt
index 131a628e9..1364cea1b 100644
--- a/binder/apt.txt
+++ b/binder/apt.txt
@@ -14,7 +14,7 @@
 
 # This is needed for drawing trees
 graphviz
-graphviz-dev
+libgraphviz-dev
 
 # FuzzManager needs this
 clang