diff --git a/index.tar.gz b/index.tar.gz
index c108e077b..428dae367 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 894aee0bc..8e91c1c8a 100644
--- a/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam
+++ b/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam
@@ -19,7 +19,6 @@ depends: [
   "bip39" { with-test }
 ]
 build: [
-  [ "cd" "src/proto_alpha/lib_protocol/tezos-protocol-alpha" ]
   [ "%{tezos-protocol-compiler:lib}%/replace"
       "%{tezos-protocol-compiler:lib}%/dune_protocol.template"
       "dune" "alpha" ]
diff --git a/repo b/repo
index f963c9e3f..50465ccc1 100644
--- a/repo
+++ b/repo
@@ -1,3 +1,3 @@
 opam-version: "2.0"
 archive-mirrors: "cache"
-stamp: "a00261a9"
+stamp: "053eea26"
diff --git a/urls.txt b/urls.txt
index 548872d86..6f3b42b2a 100644
--- a/urls.txt
+++ b/urls.txt
@@ -1 +1 @@
-repo	c1463e748827ef59eeb851295e10efa3	420
+repo	86a784de043ea15e6f711276d7561e8b	420