Merge branch 'fix-dev' into 'dev'

Work around upstream in-place update

See merge request ligolang/ligo!198
This commit is contained in:
Tom Jack 2019-11-15 16:51:56 +00:00
commit 22ae4c30b1

View File

@ -18,6 +18,8 @@ depends: [
"yojson" "yojson"
"alcotest" { with-test } "alcotest" { with-test }
"getopt" "getopt"
# work around upstream in-place update
"ocaml-migrate-parsetree" { = "1.3.1" }
] ]
build: [ build: [
[ "dune" "build" "-p" name "-j" jobs ] [ "dune" "build" "-p" name "-j" jobs ]