this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "ProScript to OCaml translator"
3description: """\
4Dirsp is a short form for Diskuv Implementations of Research Security Protocols.
5The [dirsp-ps2ocaml] executable translates ProScript, which is a subset of
6JavaScript that can be verified with formal security proofs, into OCaml."""
7maintainer: "opensource+dirsp-ps2ocaml@support.diskuv.com"
8authors: "[Diskuv, Inc. <opensource+dirsp-ps2ocaml@support.diskuv.com>]"
9license: "Apache-2.0"
10tags: "org:diskuv"
11homepage: "https://github.com/diskuv/dirsp-exchange"
12bug-reports: "https://github.com/diskuv/dirsp-exchange/issues"
13depends: [
14 "ocaml" {>= "4.08.0"}
15 "dune" {>= "2.6.0"}
16 "menhir" {>= "20210419"}
17 "menhirLib" {>= "20210419"}
18 "pcre" {>= "7.4.6"}
19 "ppx_deriving_protobuf" {>= "3.0.0"}
20 "ulex" {>= "1.2"}
21 "alcotest" {>= "1.4.0" & with-test}
22]
23build: [
24 ["dune" "subst"] {dev}
25 ["dune" "build" "-p" name "-j" jobs]
26 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
27]
28dev-repo: "git+https://github.com/diskuv/dirsp-exchange.git"
29url {
30 src: "https://github.com/diskuv/dirsp-exchange/archive/0.1.0.tar.gz"
31 checksum: [
32 "md5=a3c6f4b221fb9732bc55ab4c44e39c14"
33 "sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199"
34 ]
35}