this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "OCaml API for EverCrypt/HACL*"
3description: """
4Documentation for this library can be found
5[here](https://hacl-star.github.io/ocaml_doc/hacl-star/index.html).
6"""
7maintainer: "Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>"
8authors: [ "Project Everest" ]
9license: "Apache-2.0"
10homepage: "https://hacl-star.github.io/"
11doc: "https://hacl-star.github.io/ocaml_doc"
12bug-reports: "https://github.com/hacl-star/hacl-star/issues"
13depends: [
14 "ocaml" { >= "4.08.0" }
15 "dune" {>= "1.2"}
16 "hacl-star-raw" {= version}
17 "zarith"
18 "cppo" {build}
19 "odoc" {with-doc}
20]
21available: [
22 os = "freebsd" | os-family != "bsd"
23]
24build: [
25 [
26 "dune" "build" "-p" name "-j" jobs
27 "@doc" {with-doc}
28 ]
29]
30run-test: [
31 ["dune" "runtest" "-p" name "-j" jobs] {ocaml:version >= "4.08"}
32]
33dev-repo: "git+https://github.com/hacl-star/hacl-star.git"
34url {
35 src:
36 "https://github.com/hacl-star/hacl-star/releases/download/ocaml-v0.4.3/hacl-star.0.4.3.tar.gz"
37 checksum: [
38 "md5=bb7c369f789ac0ac426336178acfb98c"
39 "sha256=f1e25e15ee541866b29d792d291f41f8430a1315e02fa6c6e492783c87f945b2"
40 "sha512=bfb2ddf125a345deb361483aedf9d79837e9ee18b0bc31644588f8409a0fe0c50db2fc1e6b20a07e02fb9f393d2fc9968fd9d2aa9f506f4e23ca8b6ed4036870"
41 ]
42}