update repository
This commit is contained in:
parent
79ad1b0898
commit
9b42256a9a
BIN
index.tar.gz
BIN
index.tar.gz
Binary file not shown.
@ -21,7 +21,7 @@ depends: [
|
|||||||
build: [
|
build: [
|
||||||
[ "%{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" ]
|
"src/proto_alpha/lib_protocol/dune" "alpha" ]
|
||||||
[ "dune" "build" "-p" name "-j" jobs ]
|
[ "dune" "build" "-p" name "-j" jobs ]
|
||||||
[ "mv" "src/proto_alpha/lib_protocol/tezos-protocol-alpha.install" "." ]
|
[ "mv" "src/proto_alpha/lib_protocol/tezos-protocol-alpha.install" "." ]
|
||||||
]
|
]
|
||||||
|
2
repo
2
repo
@ -1,3 +1,3 @@
|
|||||||
opam-version: "2.0"
|
opam-version: "2.0"
|
||||||
archive-mirrors: "cache"
|
archive-mirrors: "cache"
|
||||||
stamp: "053eea26"
|
stamp: "79ad1b08"
|
||||||
|
Loading…
Reference in New Issue
Block a user