diff --git a/index.tar.gz b/index.tar.gz
index d85d9b8ee..cfaf8cd28 100644
Binary files a/index.tar.gz and b/index.tar.gz differ
diff --git a/packages/tezos-protocol-demo/tezos-protocol-demo.dev/opam b/packages/tezos-protocol-demo/tezos-protocol-demo.dev/opam
index 87b66c8be..ccf8ca4ef 100644
--- a/packages/tezos-protocol-demo/tezos-protocol-demo.dev/opam
+++ b/packages/tezos-protocol-demo/tezos-protocol-demo.dev/opam
@@ -15,7 +15,7 @@ depends: [
 build: [
   [ "%{tezos-protocol-compiler:lib}%/replace"
       "%{tezos-protocol-compiler:lib}%/dune_protocol.template"
-      "dune" "demo" ]
+      "src/proto_alpha/lib_protocol/dune" "demo" ]
   [ "dune" "build" "-p" name "-j" jobs ]
   [ "mv" "src/proto_demo/lib_protocol/tezos-protocol-demo.install" "." ]
 ]
diff --git a/repo b/repo
index cd357f7e7..c9ab34c90 100644
--- a/repo
+++ b/repo
@@ -1,3 +1,3 @@
 opam-version: "2.0"
 archive-mirrors: "cache"
-stamp: "79ad1b08"
+stamp: "9b42256a"
diff --git a/urls.txt b/urls.txt
index 7b798464b..d3495a030 100644
--- a/urls.txt
+++ b/urls.txt
@@ -1 +1 @@
-repo	874fff1bec58b57c0270f0e324dd938d	420
+repo	f80beee3129ff358790dd677c5adfd5b	420