update repository

2019-05-13 14:48:49 +00:00 · 2019-05-13 14:48:49 +00:00 · 053eea26b9
commit 053eea26b9
parent a00261a99c
4 changed files with 3 additions and 3 deletions
--- a/index.tar.gz
+++ b/index.tar.gz
--- 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" ]
--- a/2
+++ b/2
@ -1,3 +1,3 @@
 opam-version: "2.0"
 archive-mirrors: "cache"
-stamp: "cbfe45be"
+stamp: "a00261a9"
--- a/urls.txt
+++ b/urls.txt
@ -1 +1 @@
-repo	1514f0af5bdf96201176e6d21cae503a	420
+repo	c1463e748827ef59eeb851295e10efa3	420