From cee8955ca547e6f8c923c46b2176463a87a7237c Mon Sep 17 00:00:00 2001 From: Kakadu Date: Thu, 5 Sep 2024 19:00:48 +0300 Subject: [PATCH] Improve opam file Signed-off-by: Kakadu --- Lama.opam | 7 ++++++- dune-project | 12 +++++++++++- 2 files changed, 17 insertions(+), 2 deletions(-) diff --git a/Lama.opam b/Lama.opam index 45f267708..f0852421d 100644 --- a/Lama.opam +++ b/Lama.opam @@ -1,7 +1,12 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" synopsis: - "A programming language (initualy developed by JetBrains Research) for educational purposes as an exemplary language to introduce the domain of programming languages, compilers, and tools." + "A programming language (initially developed by JetBrains Research) for educational purposes as an exemplary language to introduce the domain of programming languages, compilers, and tools" +maintainer: ["http://github.com/Kakadu"] +authors: ["http://github.com/dboulytchev" "http://github.com/danyaberezun"] +license: "GPL-3.0-only" +homepage: "https://github.com/PLTools/Lama" +bug-reports: "https://github.com/PLTools/Lama/issues" depends: [ "dune" {>= "3.3"} "posix-uname" diff --git a/dune-project b/dune-project index e5384e0e1..c38d4eb2e 100644 --- a/dune-project +++ b/dune-project @@ -4,10 +4,20 @@ (generate_opam_files true) +(bug_reports "https://github.com/PLTools/Lama/issues") + +(homepage "https://github.com/PLTools/Lama") + +(maintainers "http://github.com/Kakadu") + +(authors "http://github.com/dboulytchev" "http://github.com/danyaberezun") + +(license GPL-3.0-only) + (package (name Lama) (synopsis - "A programming language (initualy developed by JetBrains Research) for educational purposes as an exemplary language to introduce the domain of programming languages, compilers, and tools.") + "A programming language (initially developed by JetBrains Research) for educational purposes as an exemplary language to introduce the domain of programming languages, compilers, and tools") (depends posix-uname GT