GNU bug report logs -
#49867
[PATCH 00/29] gnu: Add ocaml-cohttp-lwt-unix.
Previous Next
Reported by: pukkamustard <pukkamustard <at> posteo.net>
Date: Wed, 4 Aug 2021 07:12:01 UTC
Severity: normal
Tags: patch
Done: pukkamustard <pukkamustard <at> posteo.net>
Bug is archived. No further changes may be made.
Full log
Message #188 received at 49867 <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/ocaml.scm (ocaml-mirage-crypto): New variable.
---
gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++++++++++
1 file changed, 31 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 7101cc6c2f..c6cdd3a318 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -7592,6 +7592,37 @@ property-based testing and the magical bug-finding powers of
constant-time to avoid timing-attack with crypto stuff.")
(license license:expat)))
+(define-public ocaml-mirage-crypto
+ (package
+ (name "ocaml-mirage-crypto")
+ (version "0.10.3")
+ (home-page "https://github.com/mirage/mirage-crypto")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url home-page)
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "0j7x07c8xy8bmqp9ad1cib6j69dy7acjg9m1d7pn0dnmbkrl8fiz"))))
+ (build-system dune-build-system)
+ (arguments `(#:package "mirage-crypto"
+ #:test-target "."))
+ (propagated-inputs
+ `(("ocaml-cstruct" ,ocaml-cstruct)
+ ("ocaml-eqaf" ,ocaml-eqaf)
+ ("ocaml-bigarray-compat" ,ocaml-bigarray-compat)))
+ (native-inputs
+ `(("pkg-config" ,pkg-config)
+ ("ocaml-ounit" ,ocaml-ounit)))
+ (synopsis "OCaml library provding cryptographic primitives")
+ (description "This OCaml library provides symmetric ciphers (DES, AES,
+RC4, ChaCha20/Poly1305), and hashes (MD5, SHA-1, SHA-2). This library can be
+used from MirageOS unikernels.")
+ (license license:isc)))
+
(define-public js-of-ocaml
(package
(name "js-of-ocaml")
--
2.32.0
This bug report was last modified 3 years and 249 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.