-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
dreamtt.opam
22 lines (22 loc) · 705 Bytes
/
dreamtt.opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
opam-version: "2.0"
name: "dreamtt"
version: "0.1"
synopsis: "A minimal implementation of abstract bidirectional elaboration"
description: """
A minimal implementation of abstract bidirectional elaboration
"""
maintainer: "Jonathan Sterling <[email protected]>"
authors: "Jonathan Sterling <[email protected]>"
license: "Apache-2.0"
homepage: "http://jonsterling.github.io/dreamtt/"
bug-reports: "https://github.com/jonsterling/dreamtt/issues"
dev-repo: "git+https://github.com/jonsterling/dreamtt"
depends: [
"dune" {>= "2.0"}
"ocaml" {>= "4.10.0"}
"cmdliner" {>= "1.0"}
"menhir" {>= "20180703"}
"uuseg" {>= "12.0.0"}
"uutf" {>= "1.0.2"}
]
build: [["dune" "build" "-p" name "-j" jobs]]