diff --git a/Lama.opam b/Lama.opam index 18a1e98f2..b93693826 100644 --- a/Lama.opam +++ b/Lama.opam @@ -1,5 +1,5 @@ opam-version: "2.0" -version: "1.2" +version: "1.30" synopsis: "Lama programming language" maintainer: "dboulytchev@gmail.com" @@ -22,15 +22,11 @@ depends: [ build: [ [make] - [make "regression-all"] {with-test} + [make "regression"] {with-test} ] install: [make "install"] -depexts: [ - ["gcc-multilib"] {os-family = "debian"} -] - dev-repo: "git+https://github.com/PLTools/Lama.git" url { - src: "git+https://github.com/PLTools/Lama.git#1.20" + src: "git+https://github.com/PLTools/Lama.git#1.30" }