File tree Expand file tree Collapse file tree 1 file changed +48
-0
lines changed
packages/mazeppa/mazeppa.0.5.2 Expand file tree Collapse file tree 1 file changed +48
-0
lines changed Original file line number Diff line number Diff line change 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+ }
You can’t perform that action at this time.
0 commit comments