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