From 41765158eace666579d54be4a58894ecc7ef1972 Mon Sep 17 00:00:00 2001
From: Rui Chen <rchen@meetup.com>
Date: Wed, 4 Sep 2019 23:08:34 -0400
Subject: [PATCH] cryptol 2.8.0

Closes #43886.

Signed-off-by: FX Coudert <fxcoudert@gmail.com>
---
 Formula/cryptol.rb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Formula/cryptol.rb b/Formula/cryptol.rb
index de06476085..ac7c2991d0 100644
--- a/Formula/cryptol.rb
+++ b/Formula/cryptol.rb
@@ -5,8 +5,8 @@ class Cryptol < Formula
 
   desc "Domain-specific language for specifying cryptographic algorithms"
   homepage "https://www.cryptol.net/"
-  url "https://hackage.haskell.org/package/cryptol-2.7.0/cryptol-2.7.0.tar.gz"
-  sha256 "46c6ba5d63c0cdf074e57ea07b09dc84751a6608a9a66e552ebe2b7a343ed393"
+  url "https://hackage.haskell.org/package/cryptol-2.8.0/cryptol-2.8.0.tar.gz"
+  sha256 "b061bf88de09de5034a3707960af01fbcc0425cdbff1085c50c00748df9910bb"
   head "https://github.com/GaloisInc/cryptol.git"
 
   bottle do