cryptol 3.2.0

Homebrew · Aug 20, 2024 · 34d8ac9 · 34d8ac9
1 parent ca634cf
commit 34d8ac9
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/Formula/c/cryptol.rb b/Formula/c/cryptol.rb
@@ -1,10 +1,8 @@
 class Cryptol < Formula
   desc "Domain-specific language for specifying cryptographic algorithms"
   homepage "https://www.cryptol.net/"
-  # TODO: Try to switch `[email protected]` to `ghc` on next release
-  # https://github.com/GaloisInc/cryptol/issues/1624
-  url "https://hackage.haskell.org/package/cryptol-3.1.0/cryptol-3.1.0.tar.gz"
-  sha256 "f2590f15b0119de5510eca2d02a58a399771bf4224f5a3cc9b8ec90aeb050b03"
+  url "https://hackage.haskell.org/package/cryptol-3.2.0/cryptol-3.2.0.tar.gz"
+  sha256 "ed078965bd7d2468eb403c698374d9525bc2314f9fc53fc7683a7cab5d2ba25b"
   license "BSD-3-Clause"
   head "https://github.com/GaloisInc/cryptol.git", branch: "master"
 
@@ -19,7 +17,7 @@ class Cryptol < Formula
   end
 
   depends_on "cabal-install" => :build
-  depends_on "ghc@9.6" => :build
+  depends_on "ghc" => :build
   depends_on "z3"
 
   uses_from_macos "ncurses"