diff --git a/index.tar.gz b/index.tar.gz
index b7f457b36..c108e077b 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 f42ea5b6f..894aee0bc 100644
--- a/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam
+++ b/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam
@@ -19,7 +19,7 @@ depends: [
   "bip39" { with-test }
 ]
 build: [
-  [ "cd" "src/proto_alpha/lib_protocol/tezos-protocol-alpha.install" ]
+  [ "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 d36c58e55..f963c9e3f 100644
--- a/repo
+++ b/repo
@@ -1,3 +1,3 @@
 opam-version: "2.0"
 archive-mirrors: "cache"
-stamp: "cbfe45be"
+stamp: "a00261a9"
diff --git a/urls.txt b/urls.txt
index e67ae7212..548872d86 100644
--- a/urls.txt
+++ b/urls.txt
@@ -1 +1 @@
-repo	1514f0af5bdf96201176e6d21cae503a	420
+repo	c1463e748827ef59eeb851295e10efa3	420