diff --git a/index.tar.gz b/index.tar.gz index c118d5b3d..a91642fba 100644 Binary files a/index.tar.gz and b/index.tar.gz differ diff --git a/packages/ligo/ligo.1.0/opam b/packages/ligo/ligo.1.0/opam new file mode 100644 index 000000000..9294b375f --- /dev/null +++ b/packages/ligo/ligo.1.0/opam @@ -0,0 +1,28 @@ +name: "ligo" +opam-version: "2.0" +version: "1.0" +maintainer: "gabriel.alfour@gmail.com" +authors: [ "Galfour" ] +homepage: "https://gitlab.com/gabriel.alfour/tezos" +bug-reports: "https://gitlab.com/gabriel.alfour/tezos/issues" +synopsis: "A higher-level language which compiles to Michelson" +dev-repo: "git+https://gitlab.com/gabriel.alfour/tezos.git" +license: "MIT" +depends: [ + "ocamlfind" { build } + "dune" { build & >= "1.0.1" } + "menhir" + "ppx_let" + "ppx_deriving" + "tezos-utils" + "yojson" + "alcotest" { with-test } +] +build: [ + [ "dune" "build" "-p" name "-j" jobs ] + # needed in the repository, but must not be present in the local ligo.opam [ "mv" "src/ligo/ligo.install" "." ] +] + +url { + src: "https://gitlab.com/gabriel.alfour/tezos/-/archive/master/tezos.tar.gz" +} diff --git a/packages/proto-alpha-utils/proto-alpha-utils.1.0/opam b/packages/proto-alpha-utils/proto-alpha-utils.1.0/opam index 0892abfad..27c7a6f53 100644 --- a/packages/proto-alpha-utils/proto-alpha-utils.1.0/opam +++ b/packages/proto-alpha-utils/proto-alpha-utils.1.0/opam @@ -1,7 +1,7 @@ opam-version: "2.0" -name: "tezos-utils" +name: "proto-alpha-utils" version: "dev" -synopsis: "LIGO Teozs-specificUtilities, to be used by other libraries" +synopsis: "LIGO Proto Alpha-specific Utilities, to be used by other libraries" maintainer: "Galfour " authors: "Galfour " license: "MIT" @@ -50,7 +50,6 @@ build: [ ["dune" "build" "-p" name] [ "mv" "proto-alpha-utils/proto-alpha-utils.install" "." ] ] -dev-repo: "git+https://gitlab.com/gabriel.alfour/tezos" url { - src: "https://gitlab.com/gabriel.alfour/tezos/-/archive/master/tezos.master.tar.gz" + src: "https://gitlab.com/gabriel.alfour/ligo-utils/-/archive/master/ligo-utils.tar.gz" } diff --git a/packages/simple-utils/simple-utils.1.0/opam b/packages/simple-utils/simple-utils.1.0/opam index bb279dc46..fde3a1163 100644 --- a/packages/simple-utils/simple-utils.1.0/opam +++ b/packages/simple-utils/simple-utils.1.0/opam @@ -1,5 +1,5 @@ opam-version: "2.0" -name: "ligo-utils" +name: "simple-utils" version: "dev" synopsis: "LIGO Utilities, to be used by other libraries" maintainer: "Galfour " @@ -49,7 +49,6 @@ build: [ ["dune" "build" "-p" name] [ "mv" "simple-utils/simple-utils.install" "." ] ] -dev-repo: "git+https://gitlab.com/gabriel.alfour/tezos" url { - src: "https://gitlab.com/gabriel.alfour/tezos/-/archive/master/tezos.master.tar.gz" + src: "https://gitlab.com/gabriel.alfour/ligo-utils/-/archive/master/ligo-utils.tar.gz" } diff --git a/packages/tezos-utils/tezos-utils.1.0/opam b/packages/tezos-utils/tezos-utils.1.0/opam index 1cfb41c70..52d2de32b 100644 --- a/packages/tezos-utils/tezos-utils.1.0/opam +++ b/packages/tezos-utils/tezos-utils.1.0/opam @@ -1,7 +1,7 @@ opam-version: "2.0" name: "tezos-utils" version: "dev" -synopsis: "LIGO Teozs-specificUtilities, to be used by other libraries" +synopsis: "LIGO Tezos specific Utilities, to be used by other libraries" maintainer: "Galfour " authors: "Galfour " license: "MIT" @@ -50,7 +50,6 @@ build: [ ["dune" "build" "-p" name] [ "mv" "tezos-utils/tezos-utils.install" "." ] ] -dev-repo: "git+https://gitlab.com/gabriel.alfour/tezos" url { - src: "https://gitlab.com/gabriel.alfour/tezos/-/archive/master/tezos.master.tar.gz" + src: "https://gitlab.com/gabriel.alfour/ligo-utils/-/archive/master/ligo-utils.tar.gz" } diff --git a/repo b/repo index beda90e75..b34071d8a 100644 --- a/repo +++ b/repo @@ -1,3 +1,3 @@ opam-version: "2.0" archive-mirrors: "cache" -stamp: "a010bf23" +stamp: "9b8da745" diff --git a/urls.txt b/urls.txt index 404374ac6..d6e158cd4 100644 --- a/urls.txt +++ b/urls.txt @@ -1 +1 @@ -repo 3481cd3994b9b124b0a4a8270629d984 420 +repo 97d0e1cd8315beb42cfb2d5179ae19f0 420