this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Etienne Millon <etienne@cryptosense.com>"
3authors: "Etienne Millon <etienne@cryptosense.com>"
4homepage: "https://github.com/cryptosense/pkcs11"
5bug-reports: "https://github.com/cryptosense/pkcs11/issues"
6license: "BSD-2-Clause"
7dev-repo: "git+https://github.com/cryptosense/pkcs11.git"
8doc: "https://cryptosense.github.io/pkcs11/doc"
9build: [
10 [
11 "ocaml"
12 "pkg/pkg.ml"
13 "build"
14 "--pinned"
15 "%{pinned}%"
16 "--with-cmdliner"
17 "%{cmdliner:installed}%"
18 "--with-driver"
19 "%{ctypes:installed}%"
20 ]
21 [
22 "ocaml"
23 "pkg/pkg.ml"
24 "build"
25 "--pinned"
26 "%{pinned}%"
27 "--tests"
28 "true"
29 "--with-cmdliner"
30 "%{cmdliner:installed}%"
31 "--with-driver"
32 "%{ctypes:installed}%"
33 ] {with-test}
34 ["ocaml" "pkg/pkg.ml" "test"] {with-test}
35]
36depends: [
37 "ocaml" {>= "4.03.0"}
38 "hex" {>= "1.0.0"}
39 "integers" {< "0.5.0"}
40 "ppx_deriving" {>= "4.0" & < "6"}
41 "ppx_deriving_yojson" {>= "3.0"}
42 "yojson" {< "2.0.0"}
43 "zarith"
44 "ocamlbuild" {build}
45 "ocamlfind" {build}
46 "topkg" {build}
47 "ounit" {with-test}
48]
49depopts: [
50 "cmdliner"
51 "ctypes"
52 "ctypes-foreign"
53]
54conflicts: [
55 "ctypes" { < "0.12.0" }
56 "ctypes" { >= "0.18.0" }
57]
58tags: ["org:cryptosense"]
59available: os != "macos"
60synopsis: "Bindings to the PKCS#11 cryptographic API"
61description: """
62This library contains ctypes bindings to the PKCS#11 API.
63
64This API is used by smartcards and Hardware Security Modules to perform
65cryptographic operations such as signature or encryption."""
66url {
67 src:
68 "https://github.com/cryptosense/pkcs11/releases/download/v0.15.0/pkcs11-0.15.0.tbz"
69 checksum: [
70 "sha256=f387e30247f7d82261b102be22816adc1895b5d4665a59c7d994984280e89f60"
71 "md5=035076817a2894d16b2957714f41d75e"
72 ]
73}