Merge pull request #865 from GaloisInc/stack-yaml

Update stack.yaml files to work with #853.
GaloisInc · Oct 16, 2020 · 264fed6 · 264fed6
2 parents d2fff60 + 2d6a0b4
commit 264fed6
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/stack.ghc-8.6.yaml b/stack.ghc-8.6.yaml
@@ -5,7 +5,9 @@ packages:
   - deps/jvm-parser/
   - deps/aig/
   - deps/abcBridge/
+  - deps/argo/argo/
   - deps/cryptol/
+  - deps/cryptol/cryptol-remote-api/
   - deps/saw-core/cryptol-saw-core/
   - deps/saw-core/saw-core/
   - deps/saw-core/saw-core-aig/
@@ -44,13 +46,14 @@ extra-deps:
   - config-schema-1.2.0.0
   - config-value-0.7.0.1
   - simple-get-opt-0.3
-  - QuickCheck-2.14
   - splitmix-0.0.4
   - bv-sized-1.0.1
   - bitwise-1.0.0.1
   - sbv-8.6
   - libBF-0.5.1
   - hashable-1.3.0.0
   - lens-4.19.2
+  - network-3.1.1.1
+  - scotty-0.12
 resolver: lts-14.27
 allow-newer: false
diff --git a/stack.ghc-8.8.yaml b/stack.ghc-8.8.yaml
@@ -5,7 +5,9 @@ packages:
   - deps/jvm-parser/
   - deps/aig/
   - deps/abcBridge/
+  - deps/argo/argo/
   - deps/cryptol/
+  - deps/cryptol/cryptol-remote-api/
   - deps/saw-core/cryptol-saw-core/
   - deps/saw-core/saw-core/
   - deps/saw-core/saw-core-aig/
@@ -46,10 +48,9 @@ extra-deps:
   - config-value-0.7.0.1
   - simple-get-opt-0.4
   - json-0.10
-  - QuickCheck-2.14
   - bv-sized-1.0.1
   - bitwise-1.0.0.1
-  - constraints-0.11.2
   - libBF-0.5.1
+  - scotty-0.12
 resolver: lts-16.2
 allow-newer: false