diff --git a/index.tar.gz b/index.tar.gz
index 5a701c242..f7322ad58 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 8e91c1c8a..f42ea5b6f 100644
--- a/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam
+++ b/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam
@@ -19,6 +19,7 @@ depends: [
   "bip39" { with-test }
 ]
 build: [
+  [ "cd" "src/proto_alpha/lib_protocol/tezos-protocol-alpha.install" ]
   [ "%{tezos-protocol-compiler:lib}%/replace"
       "%{tezos-protocol-compiler:lib}%/dune_protocol.template"
       "dune" "alpha" ]
diff --git a/repo b/repo
index 937bc18c8..8edb674dc 100644
--- a/repo
+++ b/repo
@@ -1,3 +1,3 @@
 opam-version: "2.0"
 archive-mirrors: "cache"
-stamp: "2691d659"
+stamp: "93da5b25"
diff --git a/urls.txt b/urls.txt
index 8d457ec21..c9c1493e3 100644
--- a/urls.txt
+++ b/urls.txt
@@ -1 +1 @@
-repo	8b082dbbe1a3a3cdd492da4f96062700	420
+repo	4f66202e6548c225fcef4e099c5cde5b	420