diff --git a/stack.ghc-8.6.yaml b/stack.ghc-8.6.yaml
index 4a5698430b..6604e74a12 100644
--- 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,7 +46,6 @@ 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
@@ -52,5 +53,7 @@ extra-deps:
   - 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
index 832fce4ddb..e9fe9fcaae 100644
--- 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