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.2 (#27731)

authored by

Marcello Seri and committed by
GitHub
4592800a 3cfde5c8

+48
+48
packages/mazeppa/mazeppa.0.5.2/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: ["mazeppa-dev <mazeppa.dev@protonmail.com>"] 5 + authors: ["mazeppa-dev <mazeppa.dev@protonmail.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.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 + }