this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Minimal Hacl bindings"
3maintainer: "contact@functori.com"
4authors: "Maxime Levillain <maxime.levillain@functori.com>"
5license: "MIT"
6homepage: "https://gitlab.com/functori/dev/hacl"
7bug-reports: "https://gitlab.com/functori/dev/hacl/-/issues"
8depends: [
9 "ocaml" {>= "4.08"}
10 "dune" {>= "3.6"}
11 "alcotest" {with-test}
12 "hex" {with-test}
13 "js_of_ocaml-compiler" {with-test}
14 "odoc" {with-doc}
15]
16available: arch = "x86_64" | arch = "arm64"
17build: [
18 "dune"
19 "build"
20 "-p"
21 name
22 "-j"
23 jobs
24 "@install"
25 "@runtest" {with-test}
26 "@doc" {with-doc}
27]
28dev-repo: "git+https://gitlab.com/functori/dev/hacl"
29url {
30 src:
31 "https://gitlab.com/functori/dev/hacl/-/archive/0.1.0/hacl-0.1.0.tar.gz"
32 checksum: [
33 "md5=08463792ab10bf73948e6616e46a81df"
34 "sha512=d370d94be68d4514482a8adf5fd808ca9369c3b76f3a92251f2efc79d344b8d3bcc267a7524bf1a612b1fa5edb70c68f42cdd73d61265c29f896e205c97ba4bc"
35 ]
36}