diff --git a/scripts/pull_deps.sh b/scripts/pull_deps.sh
new file mode 100755
index 00000000..86b1815c
--- /dev/null
+++ b/scripts/pull_deps.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+set -e
+
+clone ()
+{
+    local depname=$1
+    local url=$2
+    if [ -d deps/$depname ]; then
+        pushd deps/$depname > /dev/null
+        git pull
+        popd > /dev/null
+    else
+        pushd deps > /dev/null
+        git clone $url $depname
+        popd > /dev/null
+    fi
+}
+
+mkdir -p deps
+
+clone elf-edit            git@github.com:GaloisInc/elf-edit.git
+clone galois-dwarf        git@github.com:GaloisInc/dwarf.git
+clone flexdis86           git@github.com:GaloisInc/flexdis86.git
+clone parameterized-utils git@github.com:GaloisInc/parameterized-utils.git
diff --git a/stack.yaml b/stack.yaml
index f65e7876..7c68f797 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -2,8 +2,11 @@ flags: {}
 packages:
 - '.'
 - 'deps/elf-edit'
-- 'deps/galois-dwarf'
 - 'deps/flexdis86'
+- 'deps/galois-dwarf'
 - 'deps/parameterized-utils'
 extra-deps:
-resolver: lts-6.23
\ No newline at end of file
+- containers-0.5.8.1
+- kan-extensions-5.0.1
+- lens-4.15.1
+resolver: lts-6.23