this repo has no description
Merge pull request #23014 from maxtori/opam-publish-hacl_func.0.1.0
Package hacl_func.0.1.0
+36
+36
packages/hacl_func/hacl_func.0.1.0/opam
+36
packages/hacl_func/hacl_func.0.1.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Minimal Hacl bindings"
3
+
maintainer: "contact@functori.com"
4
+
authors: "Maxime Levillain <maxime.levillain@functori.com>"
5
+
license: "MIT"
6
+
homepage: "https://gitlab.com/functori/dev/hacl"
7
+
bug-reports: "https://gitlab.com/functori/dev/hacl/-/issues"
8
+
depends: [
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
+
]
16
+
available: arch = "x86_64" | arch = "arm64"
17
+
build: [
18
+
"dune"
19
+
"build"
20
+
"-p"
21
+
name
22
+
"-j"
23
+
jobs
24
+
"@install"
25
+
"@runtest" {with-test}
26
+
"@doc" {with-doc}
27
+
]
28
+
dev-repo: "git://gitlab.com/functori/dev/hacl"
29
+
url {
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
+
}