Merge branch 'master' into _update-deps/runtimeverification/pyk

runtimeverification · Mar 8, 2024 · d7b328f · d7b328f
2 parents 6a40989 + 302957e
commit d7b328f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -82,6 +82,8 @@ sudo apt-get install    \
     libjemalloc-dev     \
     libmpfr-dev         \
     libsecp256k1-dev    \
+    libstdc++-12-dev    \
+    libtool             \
     libyaml-dev         \
     libz3-dev           \
     lld-15              \