mirror of
https://github.com/ProgramSnail/Lama.git
synced 2025-12-20 21:58:44 +00:00
Opam file updated for right version
This commit is contained in:
parent
9140263a3f
commit
6dc7471587
1 changed files with 7 additions and 7 deletions
8
opam
8
opam
|
|
@ -1,12 +1,12 @@
|
||||||
opam-version: "2.0"
|
opam-version: "2.0"
|
||||||
name: "Lama"
|
name: "Lama"
|
||||||
version: "0.3"
|
version: "1.0"
|
||||||
|
|
||||||
synopsis: "Lama programming system"
|
synopsis: "Lama programming system"
|
||||||
maintainer: "dboulytchev@gmail.com"
|
maintainer: "dboulytchev@gmail.com"
|
||||||
authors: "dboulytchev@gmail.com"
|
authors: "dboulytchev@gmail.com"
|
||||||
homepage: "https://github.com/dboulytchev/compiler-workout"
|
homepage: "https://github.com/JetBrains-Research/Lama"
|
||||||
bug-reports: "https://github.com/dboulytchev/compiler-workout/issues"
|
bug-reports: "https://github.com/JetBrains-Research/Lama/issues"
|
||||||
|
|
||||||
depends: [
|
depends: [
|
||||||
"ocaml" { >= "4.07.1" }
|
"ocaml" { >= "4.07.1" }
|
||||||
|
|
@ -27,6 +27,6 @@ install: [make "install"]
|
||||||
|
|
||||||
dev-repo: "git+https://github.com/JetBrains-Research/Lama.git"
|
dev-repo: "git+https://github.com/JetBrains-Research/Lama.git"
|
||||||
url {
|
url {
|
||||||
src: "git+https://github.com/JetBrains-Research/Lama.git#fcf"
|
src: "git+https://github.com/JetBrains-Research/Lama.git#1.00"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue