Update cvc5 version to 1.1.2 (#9)

cvc5 · Mar 1, 2024 · 0f16447 · 0f16447
1 parent fb03dec
commit 0f16447
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Formula/cvc5.rb b/Formula/cvc5.rb
@@ -3,7 +3,7 @@ class Cvc5 < Formula
 
   desc "Efficient open-source automatic theorem prover for SMT problems"
   homepage "https://cvc5.github.io/"
-  url "https://github.com/cvc5/cvc5.git", tag: "cvc5-1.1.1"
+  url "https://github.com/cvc5/cvc5.git", tag: "cvc5-1.1.2"
   head "https://github.com/cvc5/cvc5.git", branch: "main"
 
   option "with-java-bindings", "Build Java bindings based on new C++ API"