From 8c059f3c2826d350624ff969cc928b465991f7b7 Mon Sep 17 00:00:00 2001 From: Danya Berezun Date: Wed, 4 Oct 2023 09:31:25 +0200 Subject: [PATCH] update opam file --- Lama.opam | 24 ++++++++++++++---------- 1 file changed, 14 insertions(+), 10 deletions(-) diff --git a/Lama.opam b/Lama.opam index 26f001466..547173652 100644 --- a/Lama.opam +++ b/Lama.opam @@ -1,23 +1,27 @@ opam-version: "2.0" -version: "1.20" +version: "1.2" -synopsis: "Lama programming system" +synopsis: "Lama programming language" maintainer: "dboulytchev@gmail.com" -authors: "dboulytchev@gmail.com" -homepage: "https://github.com/JetBrains-Research/Lama" -bug-reports: "https://github.com/JetBrains-Research/Lama/issues" +authors: [ + "Dmitry Boulytchev " + "Daniil Berezun " + "Egor Sheremetov " +] +homepage: "https://github.com/PLTools/Lama" +bug-reports: "https://github.com/PLTools/Lama/issues" depends: [ - "ocaml" { >= "4.07.1" } + "ocaml" { >= "4.13.1" } "ocamlfind" { build } "camlp5" { >= "8.00.05"} "ostap" { >= "0.5"} - "GT" { >= "0.5.0" } + "GT" { >= "0.5.1" } ] build: [ [make] - [make "regression"] {with-test} + [make "regression-all"] {with-test} ] install: [make "install"] @@ -25,7 +29,7 @@ depexts: [ ["gcc-multilib"] {os-family = "debian"} ] -dev-repo: "git+https://github.com/JetBrains-Research/Lama.git" +dev-repo: "git+https://github.com/PLTools/Lama.git" url { - src: "git+https://github.com/JetBrains-Research/Lama.git#1.10+ocaml4.10" + src: "git+https://github.com/PLTools/Lama.git#1.20" }