From e436f260b5f1c629625d61167bdf4353d85ddb5e Mon Sep 17 00:00:00 2001
From: Suyash Mahar <contact@suyashmahar.com>
Date: Tue, 25 May 2021 20:34:33 -0700
Subject: [PATCH] Change llvm-hs source to github.com/llvm-hs

---
 stack.yaml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/stack.yaml b/stack.yaml
index 2c832e2..67e9e3f 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -5,8 +5,11 @@ packages:
 extra-deps:
  - set-extra-1.4.1
  - boolector-0.0.0.11
- - llvm-hs-9.0.1
- - llvm-hs-pure-9.0.0
  - llvm-hs-pretty-0.9.0.0
+ - git: https://github.com/llvm-hs/llvm-hs.git
+   commit: fb9b5006704404cb5768873f828ffa883873ef07
+   subdirs:
+     - llvm-hs
+     - llvm-hs-pure
 # Extra directories used by stack for building
 extra-include-dirs: [/usr/include/boolector]