this repo has no description
Merge pull request #27673 from hirrolot/opam-publish-mazeppa.0.5.0
Package mazeppa.0.5.0
authored by
Marcello Seri
and committed by
GitHub
5b60a533
69c86832
+48
+48
packages/mazeppa/mazeppa.0.5.0/opam
+48
packages/mazeppa/mazeppa.0.5.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "A modern supercompiler for call-by-value functional languages"
4
+
maintainer: ["hirrolot <hirrolot@gmail.com>"]
5
+
authors: ["hirrolot <hirrolot@gmail.com>"]
6
+
license: "MIT"
7
+
homepage: "https://github.com/mazeppa-dev/mazeppa"
8
+
doc: "https://github.com/mazeppa-dev/mazeppa"
9
+
bug-reports: "https://github.com/mazeppa-dev/mazeppa/issues"
10
+
depends: [
11
+
"ocaml" {>= "4.14"}
12
+
"dune" {>= "3.14"}
13
+
"pprint"
14
+
"checked_oint" {>= "0.4.1"}
15
+
"ppx_deriving"
16
+
"ppx_string_interpolation"
17
+
"ppx_yojson_conv"
18
+
"ppx_blob" {>= "0.9.0"}
19
+
"bisect_ppx"
20
+
"menhir" {>= "20180905"}
21
+
"spectrum" {>= "0.6.0"}
22
+
"clap"
23
+
"alcotest" {>= "1.7.0"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"@install"
36
+
"@runtest" {with-test}
37
+
"@doc" {with-doc}
38
+
]
39
+
]
40
+
dev-repo: "git+https://github.com/mazeppa-dev/mazeppa.git"
41
+
url {
42
+
src:
43
+
"https://github.com/mazeppa-dev/mazeppa/releases/download/v0.5.0/mazeppa-0.5.0.tar.gz"
44
+
checksum: [
45
+
"md5=c8e30c7642772fba62b20edff44f07a0"
46
+
"sha512=13bf59e70461397a1fd6b3039bb247f8e450277c4d490a451610e27968595cc4632592fee97008d8f44e71d7646e5636efa292568d07f024b4b1c25492764dd4"
47
+
]
48
+
}