From aa68ab2eb127f40ad79a18e90b6e0b1ceb6aa6fb Mon Sep 17 00:00:00 2001 From: "Adam C. Foltzer" Date: Thu, 24 Dec 2015 16:31:47 -0800 Subject: [PATCH] cryptol 2.2.6 Closes Homebrew/homebrew#47354. Signed-off-by: Mike McQuaid --- Formula/cryptol.rb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Formula/cryptol.rb b/Formula/cryptol.rb index cd00818cc8d62..af094bd73cc54 100644 --- a/Formula/cryptol.rb +++ b/Formula/cryptol.rb @@ -6,8 +6,8 @@ class Cryptol < Formula desc "Domain-specific language for specifying cryptographic algorithms" homepage "http://www.cryptol.net/" url "https://github.com/GaloisInc/cryptol.git", - :tag => "v2.2.4", - :revision => "ebaa98699bfc704c5ac5a100e2829e68f3a11d9b" + :tag => "v2.2.6", + :revision => "22fa2f0538f8c6c60f32735f54fe9877f56e1cba" head "https://github.com/GaloisInc/cryptol.git" bottle do @@ -18,7 +18,7 @@ class Cryptol < Formula depends_on "ghc" => :build depends_on "cabal-install" => :build - depends_on "cvc4" + depends_on "z3" setup_ghc_compilers