diff --git a/index.tar.gz b/index.tar.gz index 1039601d7..b7f457b36 100644 Binary files a/index.tar.gz and b/index.tar.gz differ diff --git a/packages/ligo/ligo.dev/opam b/packages/ligo/ligo.dev/opam index 8bac6626a..404f29b24 100644 --- a/packages/ligo/ligo.dev/opam +++ b/packages/ligo/ligo.dev/opam @@ -21,7 +21,6 @@ depends: [ ] build: [ [ "dune" "build" "-p" name "-j" jobs ] - [ "mv" "ligo.install" "." ] ] url { src: "https://gitlab.com/gabriel.alfour/ligo/-/archive/master/ligo.tar.gz" diff --git a/repo b/repo index 023207fef..d36c58e55 100644 --- a/repo +++ b/repo @@ -1,3 +1,3 @@ opam-version: "2.0" archive-mirrors: "cache" -stamp: "4adc6caf" +stamp: "cbfe45be" diff --git a/urls.txt b/urls.txt index 09e8864b2..e67ae7212 100644 --- a/urls.txt +++ b/urls.txt @@ -1 +1 @@ -repo 0ca3c6cd566615779f6c7459f57db3a1 420 +repo 1514f0af5bdf96201176e6d21cae503a 420