this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Package mazeppa.0.5.1 (#27684)

authored by

Marcello Seri and committed by
GitHub
06b0fbf2 062eceee

+48
+48
packages/mazeppa/mazeppa.0.5.1/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.1/mazeppa-0.5.1.tar.gz" 44 + checksum: [ 45 + "md5=f32fadf7ea524e31949a1bc55b8f9fdf" 46 + "sha512=ed34d6b2fe94d9115bb2296b37cb75a00363387ef316707a0c2d0f8fb14dc672f742b5a5093012d73b273ee2409dfede2a8d0f2bc786707f170cd83ef7dcff5a" 47 + ] 48 + }