add packages necessary for yices2-sys to compile

novafacing · syphar · commit 94cab972b741 · 2023-08-23T08:52:59.000+02:00
diff --git a/linux/packages.txt b/linux/packages.txt
@@ -29,6 +29,7 @@ gfortran
 git
 gnupg
 golang
+gperf
 graphicsmagick
 gstreamer1.0-plugins-base
 gstreamer1.0-plugins-good
