update repository
This commit is contained in:
parent
93da5b25e6
commit
4adc6cafaa
BIN
index.tar.gz
BIN
index.tar.gz
Binary file not shown.
@ -19,6 +19,7 @@ depends: [
|
|||||||
"bip39" { with-test }
|
"bip39" { with-test }
|
||||||
]
|
]
|
||||||
build: [
|
build: [
|
||||||
|
[ "cd" "src/proto_alpha/lib_protocol/tezos-protocol-alpha.install" ]
|
||||||
[ "%{tezos-protocol-compiler:lib}%/replace"
|
[ "%{tezos-protocol-compiler:lib}%/replace"
|
||||||
"%{tezos-protocol-compiler:lib}%/dune_protocol.template"
|
"%{tezos-protocol-compiler:lib}%/dune_protocol.template"
|
||||||
"dune" "alpha" ]
|
"dune" "alpha" ]
|
||||||
|
2
repo
2
repo
@ -1,3 +1,3 @@
|
|||||||
opam-version: "2.0"
|
opam-version: "2.0"
|
||||||
archive-mirrors: "cache"
|
archive-mirrors: "cache"
|
||||||
stamp: "2691d659"
|
stamp: "93da5b25"
|
||||||
|
Loading…
Reference in New Issue
Block a user