diff --git a/index.tar.gz b/index.tar.gz
index 6012fc2ec..145e1522a 100644
Binary files a/index.tar.gz and b/index.tar.gz differ
diff --git a/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam b/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam
index 756db9f04..8605dd62e 100644
--- a/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam
+++ b/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam
@@ -19,9 +19,9 @@ depends: [
   "bip39" { with-test }
 ]
 build: [
-  [ "%{tezos-protocol-compiler:lib}%/replace"
-      "%{tezos-protocol-compiler:lib}%/dune_protocol.template"
-      "src/proto_alpha/lib_protocol/dune" "alpha" ]
+#  [ "%{tezos-protocol-compiler:lib}%/replace"
+#      "%{tezos-protocol-compiler:lib}%/dune_protocol.template"
+#      "src/proto_alpha/lib_protocol/dune" "alpha" ]
   [ "dune" "build" "-p" name "-j" jobs ]
   [ "mv" "src/proto_alpha/lib_protocol/tezos-protocol-alpha.install" "." ]
 ]
diff --git a/repo b/repo
index 921af25bd..d4cfe9fd1 100644
--- a/repo
+++ b/repo
@@ -1,3 +1,3 @@
 opam-version: "2.0"
 archive-mirrors: "cache"
-stamp: "21e0a0b7"
+stamp: "a989886f"
diff --git a/urls.txt b/urls.txt
index 65f5183cf..e538c3e7e 100644
--- a/urls.txt
+++ b/urls.txt
@@ -1 +1 @@
-repo	4b86fe5af5a121007a16578ba0f8cecb	420
+repo	604d7d8c5eb209596f929225538c2c3c	420