update repository
This commit is contained in:
parent
cbfe45bede
commit
a00261a99c
BIN
index.tar.gz
BIN
index.tar.gz
Binary file not shown.
@ -21,7 +21,6 @@ depends: [
|
|||||||
]
|
]
|
||||||
build: [
|
build: [
|
||||||
[ "dune" "build" "-p" name "-j" jobs ]
|
[ "dune" "build" "-p" name "-j" jobs ]
|
||||||
[ "mv" "ligo.install" "." ]
|
|
||||||
]
|
]
|
||||||
url {
|
url {
|
||||||
src: "https://gitlab.com/gabriel.alfour/ligo/-/archive/master/ligo.tar.gz"
|
src: "https://gitlab.com/gabriel.alfour/ligo/-/archive/master/ligo.tar.gz"
|
||||||
|
2
repo
2
repo
@ -1,3 +1,3 @@
|
|||||||
opam-version: "2.0"
|
opam-version: "2.0"
|
||||||
archive-mirrors: "cache"
|
archive-mirrors: "cache"
|
||||||
stamp: "4adc6caf"
|
stamp: "cbfe45be"
|
||||||
|
Loading…
Reference in New Issue
Block a user