Skip to content

Commit b690b47

Browse files
committed
Package mazeppa.0.5.2
1 parent 39968cb commit b690b47

File tree

1 file changed

+48
-0
lines changed
  • packages/mazeppa/mazeppa.0.5.2

1 file changed

+48
-0
lines changed
Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
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: ["mazeppa-dev <[email protected]>"]
5+
authors: ["mazeppa-dev <[email protected]>"]
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.5.0"}
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.2/mazeppa-0.5.2.tar.gz"
44+
checksum: [
45+
"md5=6b8b1051babf32d3d050935d5fade88c"
46+
"sha512=33a2defbf8257d2cf39916d433411e6f10f9fc80069bbeaf29db669b635c0c3a92552c1b9abc0206b80cb9720bb31386c5ba5cf3d97a7dce571962d2f83aad91"
47+
]
48+
}

0 commit comments

Comments
 (0)