From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id AEKrNcQODGEJDgEAgWs5BA (envelope-from ) for ; Thu, 05 Aug 2021 18:16:04 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id IGxMMcQODGHwKQAAB5/wlQ (envelope-from ) for ; Thu, 05 Aug 2021 16:16:04 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 4BDCE5B85 for ; Thu, 5 Aug 2021 18:16:04 +0200 (CEST) Received: from localhost ([::1]:43004 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mBg2M-0001yJ-5x for larch@yhetil.org; Thu, 05 Aug 2021 12:16:02 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55208) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mBg0u-0001Ce-1O for guix-patches@gnu.org; Thu, 05 Aug 2021 12:14:32 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:36620) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mBfsf-00071W-TT for guix-patches@gnu.org; Thu, 05 Aug 2021 12:14:17 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mBfsf-0001du-NZ for guix-patches@gnu.org; Thu, 05 Aug 2021 12:06:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49867] [PATCH 23/29] gnu: Add ocaml-x509. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 05 Aug 2021 16:06:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 49867 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: pukkamustard , 49867@debbugs.gnu.org Cc: pukkamustard Received: via spool by 49867-submit@debbugs.gnu.org id=B49867.16281795086223 (code B ref 49867); Thu, 05 Aug 2021 16:06:01 +0000 Received: (at 49867) by debbugs.gnu.org; 5 Aug 2021 16:05:08 +0000 Received: from localhost ([127.0.0.1]:48166 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mBfro-0001cH-Ha for submit@debbugs.gnu.org; Thu, 05 Aug 2021 12:05:08 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:35510 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mBfrm-0001bQ-Ob for 49867@debbugs.gnu.org; Thu, 05 Aug 2021 12:05:07 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1628179499; bh=WQQO8IBBkp1JBvAapWVpQ+SHGBVyvRSayMInQWD0qSE=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=k1fk64QSM+pWG/kKO0T6hwt6yavSO+kBfwIBSg+tlMT3ojLz0cWblA2CN8+tF8fuc yT5TdfoW6H5XVm3LxwlV9RsEa//gdbu6p18mZnyt5wrVB4TohSPjEpMM6CxbVAP5XU IqaAABJM4gG2gxAa/L2c3+S6VCFCSa9AozJJYzOs= In-Reply-To: <20210804071545.21181-23-pukkamustard@posteo.net> References: <20210804071545.21181-1-pukkamustard@posteo.net> <20210804071545.21181-23-pukkamustard@posteo.net> Date: Thu, 05 Aug 2021 18:04:58 +0200 Message-ID: <87im0jkhcl.fsf@yoctocell.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1628180164; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=o1/1wkzSEtiS00e8LKbmRqmbbSCwlu8vTnsdlrvE4iw=; b=MpJb0OoafJqwI+PGQRFM9vuwuHLXzvfbksmWmIvFQ4a4AaE17RPruiXA5o+nkWmEB0VBDH +YQrwUtbghNUo1usPOPhXcMqc6PEZ2Cr4a2P960SjV2oNI3zLOmVvHsCGq3hATGZyTBd9m VAjhcMiRcMwbqmzeOeNFrhFsCsKxCCen54EB/G3t7F5/Tvoe/J/22kRj+foHIRvnXvftVX /hdP65tchrabWsO2mkzh+MtVxAw15f6L1Iss4UxyMSzpUOA5P/OfLcYc3GrVGw0VNpQOeH bVR7YceK8q1iU0m9l3nb4RFkxUfKaR2r83i6a+dhOgUxnaGJValHykqk7HDeRA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1628180164; a=rsa-sha256; cv=none; b=c9pMBTQKZCYvI+a9ZTWjE2/jbQJae6ZQdM3CiyxPcRRc6DUKtaNJBounq5j9wAyQmHRA40 9pK/fOY9GLmwLpXmMqmntrFDQHILGfVeetCbjvDN77wrQRsdCwlcEC/eGFDQuuxbXfRdTS yifszOr5CRragxYClHi4iWxdhAWLV/FyNg0JCRQDnTKw18kZT0bublCiyv1IY8lfhu/v8v IdEzvQpYR12ZYpKRIVPf/0YQFgrc7no/CKP7PdncKmls2oq8WaDt8W4W7YNXHfTNFjSUTV EnPLEBq44te3tCuHlT7JvWhVi7UvDYMf4f6jdLLX+Qg8F5jOei+pyhBivoE0KA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=k1fk64QS; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -3.42 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=k1fk64QS; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 4BDCE5B85 X-Spam-Score: -3.42 X-Migadu-Scanner: scn0.migadu.com X-TUID: MnjevKUL9JDI --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On Wed, Aug 04 2021, pukkamustard wrote: > * gnu/packages/ocaml.scm (ocaml-x509): New variable. > --- > gnu/packages/ocaml.scm | 46 ++++++++++++++++++++++++++++++++++++++++++ > 1 file changed, 46 insertions(+) > > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index a9a4c8a684..3ce07057f5 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -7726,6 +7726,52 @@ to create a type-safe heterogenous maps.") > PKCS#5 using @code{ocaml-mirage-crypto}.") > (license license:bsd-2))) >=20=20 > +(define-public ocaml-x509 > + (package > + (name "ocaml-x509") > + (version "0.14.0") > + (home-page "https://github.com/mirleft/ocaml-x509") > + (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 > + "0b51vzyxxkhwgx12dg55clb1lb971cxlmsk4wlxzs5h115j5hcy7")))) > + (build-system dune-build-system) > + (arguments `(#:test-target ".")) > + (propagated-inputs > + `(("ocaml-cstruct" ,ocaml-cstruct) > + ("ocaml-asn1-combinators" ,ocaml-asn1-combinators) > + ("ocaml-ptime" ,ocaml-ptime) > + ("ocaml-base64" ,ocaml-base64) > + ("ocaml-mirage-crypto" ,ocaml-mirage-crypto) > + ("ocaml-mirage-crypto-pk" ,ocaml-mirage-crypto-pk) > + ("ocaml-mirage-crypto-ec" ,ocaml-mirage-crypto-ec) > + ("ocaml-mirage-crypto-rng" ,ocaml-mirage-crypto-rng) > + ("ocaml-rresult" ,ocaml-rresult) > + ("ocaml-fmt" ,ocaml-fmt) > + ("ocaml-gmap" ,ocaml-gmap) > + ("ocaml-domain-name" ,ocaml-domain-name) > + ("ocaml-logs" ,ocaml-logs) > + ("ocaml-pbkdf" ,ocaml-pbkdf))) > + (native-inputs > + `(("ocaml-alcotest" ,ocaml-alcotest) > + ("ocaml-cstruct-unix" ,ocaml-cstruct-unix))) > + (synopsis "Public Key Infrastructure (RFC 5280, PKCS) purely in OCam= l") > + (description "X.509 is a public key infrastructure used mostly on the > +Internet. It consists of certificates which include public keys and > +identifiers, signed by an authority. Authorities must be exchanged over a > +second channel to establish the trust relationship. This OCaml library > +implements most parts of RFC5280 and RFC6125. The Public Key Cryptograp= hy > +Standards (PKCS) defines encoding and decoding (in ASN.1 DER and PEM for= mat), > +which is also implemented by this library - namely PKCS 1, PKCS 5, PKCS = 7, Nit: Use =E2=80=98---=E2=80=99 instead of just =E2=80=98-=E2=80=99, see the= fifth bullet point in =E2=80=9C2.1 General Syntactic Conventions=E2=80=9D in the Texinfo manual. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmEMDCoVHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x5CpEP/RL40YFW2v16BdfbRbSuD15LAdV6 x4CfSCjNDaKrm9wuQ1WhR6E4FzpJ98wO/ut5rNF7KnIEQi/nv/GF5XMYVOudPH1m lE1Y2uu+D1Zv5ywjsf4hM1mVOG0VR8YE5XGiA7aueaQv0wNXJkDY5voEGGYlHUAa wZUnI3oewgJsV9NPTYbKjYTDD+RfLIe17toQz3077AVqzMz1iXTOHBVFGG/9Exxm eNSc188fN900u3lIBwsGlAUsCeciLSTWxKGCG2SziuTGhenB7EWWi5b5ihqvr/W3 JFrx9wE4U/p6WQhs9zbYtd27fJN789Fj3PWb3r2XA5klF4SG9rxvPmxI0iOgnYnB KwsjW6/m0GvKPU5ok3kcquL1swHn9Qv9+IDBOuavgZ92VcVMFtw7C66mANGZXTyg SxTrzmnfg/b0Hn+0XAnGAhYiPKhF4uZ/OwQcvwSOpfJ/xClm+U0aJ2EKg7IM9p6P vOuYUeflH27LV7Ek4hn7iC7DJAb9bMdOt9F61MOWntvExllfZNLOCj44Nt1AHNJp 8dYjQS20Y18zzrgLVfqCwgSuXmVo+4dl+iycO4zpUJ+ZMR32HPAqTMwNmEAKjDjN OHLZBMv2lRyzNlp0S5coBuUjqiEcMQXmxTn/ObSCVEre+HM1UQMf9TipThsXaZrH 3EUijit8j8FBJ0Dr =5jw9 -----END PGP SIGNATURE----- --=-=-=--