From 9a5733c71436138b28271fdc3fa3d7644db682e8 Mon Sep 17 00:00:00 2001 From: Roman Venediktov Date: Wed, 10 Jul 2024 19:27:08 +0200 Subject: [PATCH] Update version and dependencies in Lama.opam --- Lama.opam | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) 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" }