diff --git a/packages/pkcs11/pkcs11.0.14.0/descr b/packages/pkcs11/pkcs11.0.14.0/descr new file mode 100644 index 00000000000..d362be18335 --- /dev/null +++ b/packages/pkcs11/pkcs11.0.14.0/descr @@ -0,0 +1,6 @@ +Bindings to the PKCS#11 cryptographic API + +This library contains ctypes bindings to the PKCS#11 API. + +This API is used by smartcards and Hardware Security Modules to perform +cryptographic operations such as signature or encryption. diff --git a/packages/pkcs11/pkcs11.0.14.0/opam b/packages/pkcs11/pkcs11.0.14.0/opam new file mode 100644 index 00000000000..f4f57de3133 --- /dev/null +++ b/packages/pkcs11/pkcs11.0.14.0/opam @@ -0,0 +1,45 @@ +opam-version: "1.2" +maintainer: "Etienne Millon " +authors: "Etienne Millon " +homepage: "https://github.com/cryptosense/pkcs11" +bug-reports: "https://github.com/cryptosense/pkcs11/issues" +license: "BSD-2" +dev-repo: "https://github.com/cryptosense/pkcs11.git" +doc: "https://cryptosense.github.io/pkcs11/doc" +build: [ + [ "ocaml" "pkg/pkg.ml" "build" + "--pinned" "%{pinned}%" + "--with-cmdliner" "%{cmdliner:installed}%" + "--with-driver" "%{ctypes:installed}%" + ] +] +build-test: [ + [ "ocaml" "pkg/pkg.ml" "build" + "--pinned" "%{pinned}%" + "--tests" "true" + "--with-cmdliner" "%{cmdliner:installed}%" + "--with-driver" "%{ctypes:installed}%" + ] + [ "ocaml" "pkg/pkg.ml" "test" ] +] +depends: [ + "hex" { >= "1.0.0" } + "integers" + "ppx_deriving" { >= "4.0" } + "ppx_deriving_yojson" { >= "3.0" } + "zarith" + "ocamlbuild" {build} + "ocamlfind" {build} + "topkg" {build} + "ounit" {test} +] +depopts: [ + "cmdliner" + "ctypes" + "ctypes-foreign" +] +conflicts: [ + "ctypes" { < "0.12.0" } +] +tags: ["org:cryptosense"] +available: [ocaml-version >= "4.03.0" & os != "darwin"] diff --git a/packages/pkcs11/pkcs11.0.14.0/url b/packages/pkcs11/pkcs11.0.14.0/url new file mode 100644 index 00000000000..e117cbfbc32 --- /dev/null +++ b/packages/pkcs11/pkcs11.0.14.0/url @@ -0,0 +1,2 @@ +archive: "https://github.com/cryptosense/pkcs11/releases/download/v0.14.0/pkcs11-0.14.0.tbz" +checksum: "d6d18b0852925320e5b0ceaf1c433c5a" \ No newline at end of file