From 93da5b25e6f75689c32a9bfbb642670d93012a2c Mon Sep 17 00:00:00 2001
From: Galfour <gabriel.alfour@gmail.com>
Date: Mon, 13 May 2019 12:31:26 +0000
Subject: [PATCH] change ligo

---
 packages/ligo/ligo.dev/opam | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/packages/ligo/ligo.dev/opam b/packages/ligo/ligo.dev/opam
index a7286bca7..8bac6626a 100644
--- a/packages/ligo/ligo.dev/opam
+++ b/packages/ligo/ligo.dev/opam
@@ -1,6 +1,6 @@
+version: "dev"
 name: "ligo"
 opam-version: "2.0"
-version: "dev"
 maintainer: "gabriel.alfour@gmail.com"
 authors: [ "Galfour" ]
 homepage: "https://gitlab.com/gabriel.alfour/tezos"
@@ -15,14 +15,14 @@ depends: [
   "ppx_let"
   "ppx_deriving"
   "tezos-utils"
+  "proto-alpha-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" "." ]
+  [ "mv" "ligo.install" "." ]
 ]
-
 url {
-  src: "https://gitlab.com/gabriel.alfour/tezos/-/archive/master/tezos.tar.gz"
+  src: "https://gitlab.com/gabriel.alfour/ligo/-/archive/master/ligo.tar.gz"
 }