Csepp <raingloom@HIDDEN>
to control <at> debbugs.gnu.org
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:50 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:50 2023 Received: from localhost ([127.0.0.1]:35194 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9h-0001sI-OM for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:50 -0500 Received: from lists.gnu.org ([209.51.188.17]:50646) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9d-0001rl-Hv for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:45 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9d-0005lN-DG for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:45 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9b-0004EM-Oy for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:45 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw405mnsz9t86 for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:32 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224592; bh=1cf67ZmgxRWNTrACCoUC7vCiqycFSUjpKncnsO7BaYQ=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=f4i5/Z1AZ40J11zDqTfXDxFuPyupyEouEknSMdGMmgX7ySz6JZTtpuQe/fGq12/gI 5+DOJGXSNnckZHp/zxUYXv/9cpqmMLO0wklwYZZbob1ZrqvZ1VVp8F4I6em7iXqsLn 9dCTw9kBlvU/ZpH6+JUKk1Y3RxJUkMWM4yrCSUbs= X-Riseup-User-ID: 07B9B30ACC6F74E9906E07C3340CB952FB6E852B546DCCA00724104978BA1400 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3z6nCdz5vXJ; Mon, 9 Jan 2023 00:36:31 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 39/39] gnu: Add ocaml-mirage-bootvar-unix. Date: Mon, 9 Jan 2023 01:35:29 +0100 Message-Id: <20230109003529.23375-39-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-mirage-bootvar-unix): New variable. --- gnu/packages/ocaml.scm | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 0b90578c4b..8251082afc 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3975,6 +3975,24 @@ (define-public ocaml-mirage a fully-standalone, specialised unikernel.") (license license:isc))) +(define-public ocaml-mirage-bootvar-unix + (package + (name "ocaml-mirage-bootvar-unix") + (version "0.1.0") + (source (origin + (method url-fetch) + (uri + "https://github.com/mirage/mirage-bootvar-unix/releases/download/0.1.0/mirage-bootvar-unix-0.1.0.tbz") + (sha256 + (base32 + "0r92s6y7nxg0ci330a7p0hii4if51iq0sixn20cnm5j4a2clprbf")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-lwt ocaml-parse-argv)) + (home-page "https://github.com/mirage/mirage-bootvar-unix") + (synopsis "Unix implementation of MirageOS Bootvar interface") + (description "Library for passing boot parameters from Solo5 to MirageOS.") + (license license:isc))) + (define-public ocaml-duration (package (name "ocaml-duration") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:49 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:49 2023 Received: from localhost ([127.0.0.1]:35192 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9h-0001sB-DN for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:49 -0500 Received: from lists.gnu.org ([209.51.188.17]:50632) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9c-0001re-FQ for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:44 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9c-0005jS-A5 for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:44 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9a-0004EC-Ho for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:44 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3z4JYfz9sBR for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:31 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224591; bh=U9vo9Oo8erT/6+n7aZVWF7up9pPVp2DOcIfKz4uMRzU=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=MXOWDjccNm0y29Y70YmO9FbGzLZhFGhIWOq/0ncfq3ME9DGCYzjC2cMgUmGWx15H9 Sj2EoBs/+2DmPnWFWpKNflk2VjqGg4UjMXWvW5xpI0odM1gQRMBvMjXmstR0f6S3Wu u0LZfFM8Xj2v/FuwIrtfg76MFocwKFSG6QKC0jss= X-Riseup-User-ID: 614479888E47BE5379A7A5DF9D53139FE471426812E38DE4F2C69F4ABC9166CB Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3y5G4vz5vXJ; Mon, 9 Jan 2023 00:36:30 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 38/39] gnu: Add ocaml-parse-argv. Date: Mon, 9 Jan 2023 01:35:28 +0100 Message-Id: <20230109003529.23375-38-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-parse-argv): New variable. --- gnu/packages/ocaml.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index d6279d6d7d..0b90578c4b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3852,6 +3852,26 @@ (define-public ocaml-emile according RFC2047.") (license license:expat))) +(define-public ocaml-parse-argv + (package + (name "ocaml-parse-argv") + (version "0.2.0") + (source (origin + (method url-fetch) + (uri + "https://github.com/mirage/parse-argv/releases/download/v0.2.0/parse-argv-v0.2.0.tbz") + (sha256 + (base32 + "06dl04fcmwpkydzni2fzwrhk0bqypd55mgxfax9v82x65xrgj5gw")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-astring)) + (native-inputs (list ocaml-ounit)) + (home-page "https://github.com/mirage/parse-argv") + (synopsis "Process strings into sets of command-line arguments") + (description + "Small implementation of a simple argv parser.") + (license license:isc))) + (define-public ocaml-functoria-runtime (package (name "ocaml-functoria-runtime") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:49 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:49 2023 Received: from localhost ([127.0.0.1]:35190 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9g-0001s3-VV for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:49 -0500 Received: from lists.gnu.org ([209.51.188.17]:50626) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9b-0001rU-95 for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:43 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9b-0005ig-4D for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:43 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9Z-0004E2-9i for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:42 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3y2lVDz9s7b for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:30 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224590; bh=hy2ZpIgPEm6B/5AutDIbOzXfo2d2kaH38XIUOCRn/Nw=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=T8tEwuJ3+LK1xT0WAzGZUvCF3gNtZsbL/6v+u34JEBhumKVaEjDME0C0ppO2XS05I 5xHJVBz2SfvYR5wY9wO/BUoVIElGGMULclxyVbh1XEtBIxKSJ+yaM5XOO2Wkpz069y a5WS92nSHsria3Ky1ToOVMS5zAUC0yivUAu8b99w= X-Riseup-User-ID: 769DAC4B026D529BA5CF494FB59F72E6C89210F038F6B8914A894160DB9959CD Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3x3lnwz5vXJ; Mon, 9 Jan 2023 00:36:29 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 37/39] gnu: Add ocaml-mirage-xen. Date: Mon, 9 Jan 2023 01:35:27 +0100 Message-Id: <20230109003529.23375-37-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-mirage-xen): New variable. --- gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b3a4e5e01d..d6279d6d7d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3088,6 +3088,39 @@ (define-public ocaml-xenstore ;; Has a linking exception, see LICENSE.md. (license license:lgpl2.1))) +(define-public ocaml-mirage-xen + (package + (name "ocaml-mirage-xen") + (version "8.0.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/mirage/mirage-xen") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1qydg92dbw8hj4b809apj0f51cjgmamq3zdf34a4wyn5jv85yzyx")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-cstruct + ocaml-lwt + ocaml-shared-memory-ring-lwt + ocaml-xenstore + ocaml-lwt-dllist + ;;ocaml-mirage-profile dependency cycle + ocaml-io-page + ocaml-mirage-runtime + ocaml-logs + ocaml-fmt + ocaml-bheap + ocaml-duration)) + (home-page "https://github.com/mirage/mirage-xen") + (synopsis "Xen core platform libraries for MirageOS") + (description "MirageOS OS library for Xen targets, which handles the main +loop and timers. It also provides the low level C startup code and C stubs +required by the OCaml code.") + (license license:isc))) + (define-public ocaml-io-page (package (name "ocaml-io-page") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:49 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:49 2023 Received: from localhost ([127.0.0.1]:35188 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9g-0001rw-JN for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:48 -0500 Received: from lists.gnu.org ([209.51.188.17]:48306) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9a-0001r9-7F for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:42 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9a-0005h7-1x for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:42 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9Y-0004Dc-5A for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:41 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw3x1GslzDqk3 for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:29 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224589; bh=KaLNZ6RVW5kOx8P+LjCat3t/jH2+OFsVKxcfpd7Bf8U=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=ff2oTp/cdDwhUSw1poROnebFCtEzm3Z/hHnSXuEQ96pbVCYr2I/aRWEACiKPfYLDq gU09bTceCovM1qeoWEQ1EQyCCzddmq7rDXlOEabYq1nYSlA1nngjgHsb4Q7MthApKQ Ua5SvcyEHbPvsWc6x7oj3Y2GoE0suFlFRvfpOuhk= X-Riseup-User-ID: 8A7AEF87C8BF95171B7BEE4E9B5001D5776B885B60A616CD1E71005ECD6904DA Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3w2JLKz5vXJ; Mon, 9 Jan 2023 00:36:28 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 36/39] gnu: Add ocaml-bheap. Date: Mon, 9 Jan 2023 01:35:26 +0100 Message-Id: <20230109003529.23375-36-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-bheap): New variable. --- gnu/packages/ocaml.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f63aa138d2..b3a4e5e01d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3109,6 +3109,26 @@ (define-public ocaml-io-page avoid copying the data contained within the page.") (license license:isc))) +(define-public ocaml-bheap + (package + (name "ocaml-bheap") + (version "2.0.0") + (source (origin + (method url-fetch) + (uri + "https://github.com/backtracking/bheap/releases/download/2.0.0/bheap-2.0.0.tbz") + (sha256 + (base32 + "0dpnpla20lgiicrxl2432m2fcr6y68msw3pnjxqb11xw6yrdfhsz")))) + (build-system dune-build-system) + (native-inputs (list ocaml-stdlib-shims)) + (home-page "https://github.com/backtracking/bheap") + (synopsis "Priority queues") + (description + "Traditional implementation of priority queues using a binary heap +encoded in a resizable array.") + (license license:lgpl2.1))) + (define-public ocaml-luv (package (name "ocaml-luv") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:48 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:48 2023 Received: from localhost ([127.0.0.1]:35186 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9g-0001ru-3P for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:48 -0500 Received: from lists.gnu.org ([209.51.188.17]:48300) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9Z-0001qn-1Z for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:41 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9Y-0005fU-Ru for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:40 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9W-0004DU-Vn for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:40 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw3v75ZgzDq5t for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:27 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224588; bh=U86Q5JKy7D+W6xB1KfuomRVtjU20DmY9FjgHPpC2i6c=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=b4Gyi6Oy8yWWLstXnPJis4VZjkbpbvJTjTo/8hD7XB0eP6jz9jl457T0f+zUFPid/ 8QU98l8YT/NXRfN76Ql41dsd/zF2Yto6hcRVyaA3mFIXtkatnWWJmUZonYdqdzOKOb q7jp+FoDojfVoFX2XHaoiNVKiAqGFqzr/GgOSio0= X-Riseup-User-ID: 1BC606F43E2F7D89F54BCC5AEFBD4C293788B3D607C9DEA28238D4E80B69C1D7 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3v0rNmz5vXJ; Mon, 9 Jan 2023 00:36:26 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 35/39] gnu: Add ocaml-io-page. Date: Mon, 9 Jan 2023 01:35:25 +0100 Message-Id: <20230109003529.23375-35-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-io-page): New variable. --- gnu/packages/ocaml.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b2867ac366..f63aa138d2 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3088,6 +3088,27 @@ (define-public ocaml-xenstore ;; Has a linking exception, see LICENSE.md. (license license:lgpl2.1))) +(define-public ocaml-io-page + (package + (name "ocaml-io-page") + (version "3.0.0") + (source (origin + (method url-fetch) + (uri + "https://github.com/mirage/io-page/releases/download/v3.0.0/io-page-3.0.0.tbz") + (sha256 + (base32 + "1vl6ywzp48180bmdnk1zprwz0amz5sxrijwhh08acsq5v5scldhf")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-cstruct)) + (native-inputs (list pkg-config ocaml-ounit)) + (home-page "https://github.com/mirage/io-page") + (synopsis "Support for efficient handling of I/O memory pages") + (description + "IO pages are page-aligned, and wrapped in the @code{Cstruct} library to +avoid copying the data contained within the page.") + (license license:isc))) + (define-public ocaml-luv (package (name "ocaml-luv") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:43 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:43 2023 Received: from localhost ([127.0.0.1]:35181 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9a-0001rC-EK for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:43 -0500 Received: from lists.gnu.org ([209.51.188.17]:48296) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9X-0001qg-JZ for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:40 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9X-0005d9-EZ for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:39 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9V-0004DE-PY for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:39 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw3t5RHlzDqPJ for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:26 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224586; bh=8oSUuCudaTkdDIIoVj6/VLh0wX78cdtBNkqWy304AmU=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=PmuVQA9DC0AQTwBHTiWUwLMoV54W0IxnBH9NLUtk4TT/XQ9F4Urog5tQBSxdeKhJ1 g9rEIx0jatSIZUYAGHVfpPU3CUgYwR26MOrEVXZJnBj9Xx/HUdteZjzOeupmAyPFT1 51i5yblgGrfdmWO9Geg0Ngff6B+0ZwySSOBBOvRk= X-Riseup-User-ID: 4730C86626BC96A062149F130EE26A363AD21FF786BD813EA91366CBB31C59BF Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3s6XNkz5vXJ; Mon, 9 Jan 2023 00:36:25 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 34/39] gnu: Add ocaml-xenstore. Date: Mon, 9 Jan 2023 01:35:24 +0100 Message-Id: <20230109003529.23375-34-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-xenstore): New variable. --- gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 645ff3961f..b2867ac366 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3060,6 +3060,34 @@ (define-public ocaml-shared-memory-ring-lwt (modify-inputs (package-propagated-inputs ocaml-shared-memory-ring) (append ocaml-shared-memory-ring))))) +(define-public ocaml-xenstore + (package + (name "ocaml-xenstore") + (version "2.2.0") + (source (origin + (method url-fetch) + (uri + "https://github.com/mirage/ocaml-xenstore/releases/download/v2.2.0/xenstore-2.2.0.tbz") + (sha256 + (base32 + "0b8qqg7a2bcwfbva042l5kiivpwc1pa8bvwic1fy87bkvsvfmjfl")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-cstruct ocaml-ppx-cstruct ocaml-lwt)) + (native-inputs (list ocaml-ounit2)) + (home-page "https://github.com/mirage/ocaml-xenstore") + (synopsis "Xenstore protocol in pure OCaml") + (description + "Repository contents: +@itemize +@item client library, a merge of the Mirage and XCP ones +@item server library +@item server instance which runs under Unix with libxc +@item server instance which runs on mirage. +@end itemize +The client and the server libraries have sets of unit-tests.") + ;; Has a linking exception, see LICENSE.md. + (license license:lgpl2.1))) + (define-public ocaml-luv (package (name "ocaml-luv") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:42 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:42 2023 Received: from localhost ([127.0.0.1]:35178 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9Z-0001r3-UX for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:42 -0500 Received: from lists.gnu.org ([209.51.188.17]:48260) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9T-0001pp-UN for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:39 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9T-0005at-PZ for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:35 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9S-0004AM-2S for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:35 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3q11sgz9tKP for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:23 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224583; bh=JO5rXaCKja6sk/Fda+2I8NXcQXVmSNjnVw6hN59sZKQ=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=bU+Zd4EGstmjYwnpFQ//oJL0Vg0JKzIFPl/PGBWglmnmGMwLBHxSE789zXSpGYG1b pNF3/SqGOJ3UCKTyej9wj3ZCV02EpEq7VjnQPYPLa7lG9L+2GT5BebOAjSy1/JxbFe RDA3pCisrnS+QGrIuagWXfXdifPBgO1UiT2Ij6c8= X-Riseup-User-ID: 1E72624284488D70F429BB3C45710E2E45DA2E023BEF2C71675EC4F47416C852 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3p25LFz5vXJ; Mon, 9 Jan 2023 00:36:22 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 31/39] gnu: Add ocaml-async. Date: Mon, 9 Jan 2023 01:35:21 +0100 Message-Id: <20230109003529.23375-31-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-async): New variable. --- gnu/packages/ocaml.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index d2c41a2fdf..c94beb408c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8457,6 +8457,38 @@ (define-public ocaml-async-rpc-kernel JavaScript.") (license license:expat))) +(define-public ocaml-async + (package + (name "ocaml-async") + (version "0.15.0") + (source (origin + (method url-fetch) + (uri + "https://ocaml.janestreet.com/ocaml-core/v0.15/files/async-v0.15.0.tar.gz") + (sha256 + (base32 + "1afnls0m4izzp933h606k0vj43krfsy4ypnybsidq7pd9cfb4fqd")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-async-kernel + ocaml-async-rpc-kernel + ocaml-async-unix + ocaml-core + ocaml-core-kernel + ocaml-core-unix + ocaml-ppx-jane + ocaml-ppx-log + ocaml-textutils)) + ;; TODO one test dependency is deprecated, the other is nowhere to be found + (arguments '(#:tests? #f)) + ;; (native-inputs (list ocaml-netkit-sockets ocaml-qtest-deprecated)) + (home-page "https://github.com/janestreet/async") + (synopsis "Asynchronous execution library") + (description + "Library for asynchronous programming, i.e., programming where some part +of the program must wait for things that happen at times determined by some +external entity (like a human or another program).") + (license license:expat))) + (define-public ocaml-textutils-kernel (package (name "ocaml-textutils-kernel") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:42 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:41 2023 Received: from localhost ([127.0.0.1]:35176 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9Z-0001qw-Kv for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:41 -0500 Received: from lists.gnu.org ([209.51.188.17]:48280) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9W-0001qL-8U for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:39 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9W-0005bM-3o for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:38 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9U-0004CU-JW for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:37 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3s4B2Zz9tKV for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:25 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224585; bh=uQ8dn8YBIXypAyyBhJX+l93gFILxLzbwzg6tY5GYUV8=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=LVuwhAkQJPpb/zq4qs7fTwdwqb+24W/AspyfurYNN3TpT7/YrucbUsq8DjRMf8P0B MqoO251aMiyJ5YwFywP+NV1fxqkhuh0mz1CEoqnqgIOaM+hAiUP0yT7ByqBdNAFEnH gsjBKT5FEvin5B43cgcnM710iXwFIoUAIODmk4gA= X-Riseup-User-ID: 29BF24568BE3B3AA3E23E51BE9DB2B882233ECE264DF2F2CC198855F3ECE8107 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3r511Pz5vXJ; Mon, 9 Jan 2023 00:36:24 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 33/39] gnu: Alias ocaml-shared-memory-ring-lwt to ocaml-shared-memory-ring. Date: Mon, 9 Jan 2023 01:35:23 +0100 Message-Id: <20230109003529.23375-33-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-shared-memory-ring-lwt): New variable. --- gnu/packages/ocaml.scm | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 11da7bd7c7..645ff3961f 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3051,6 +3051,15 @@ (define-public ocaml-shared-memory-ring devices.") (license license:isc))) +(define-public ocaml-shared-memory-ring-lwt + (package + (inherit ocaml-shared-memory-ring) + (name "ocaml-shared-memory-ring-lwt") + (arguments '(#:package "shared-memory-ring-lwt")) + (propagated-inputs + (modify-inputs (package-propagated-inputs ocaml-shared-memory-ring) + (append ocaml-shared-memory-ring))))) + (define-public ocaml-luv (package (name "ocaml-luv") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:41 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:41 2023 Received: from localhost ([127.0.0.1]:35174 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9Z-0001qp-8f for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:41 -0500 Received: from lists.gnu.org ([209.51.188.17]:48266) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9V-0001q4-7X for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:37 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9V-0005b6-2U for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:37 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9T-0004BS-B0 for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:36 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw3r2T8RzDqJM for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:24 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224584; bh=6olhRipHy79EJmTEsKcgH4eZHXvYNYqh4Hm6Iwcme8U=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=Xar6QPWm3w0b2kiizbIiMNroN6EOMLTLVJs728lhzmEJstU3Xk+FwDtPEtKDkr6lj jQivc3KC5N1HdAVlwg6V4ZFrod3OLlvzLJVEr8+hJP7/3RljokO/TQU1G9yJbaD3/Q m7sqLCDA2NokDVhK1CMERUZ7DXP+5qg5JVXD4XIw= X-Riseup-User-ID: B7CBE21DA4BA6F0D408554EF9AA4F01E80FD6FCBCA78A44D3531D3615EC0C4F3 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3q3WNTz5vXJ; Mon, 9 Jan 2023 00:36:23 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 32/39] gnu: Add ocaml-shared-memory-ring. Date: Mon, 9 Jan 2023 01:35:22 +0100 Message-Id: <20230109003529.23375-32-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-shared-memory-ring): New variable. --- gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c94beb408c..11da7bd7c7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3023,6 +3023,34 @@ (define-public ocaml-lwt-dllist doubly-linked list with Lwt iterators.") (license license:expat))) + +(define-public ocaml-shared-memory-ring + (package + (name "ocaml-shared-memory-ring") + (version "3.1.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/mirage/shared-memory-ring") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "12cpbia39aifnd8rxpsra0lhssqj5qw0zygb5fd8kg58zy2clmrr")))) + (build-system dune-build-system) + (arguments '(#:package "shared-memory-ring")) + (propagated-inputs (list ocaml-cstruct ocaml-ppx-cstruct ocaml-lwt-dllist + ocaml-mirage-profile)) + (native-inputs (list ocaml-ounit)) + (home-page "https://github.com/mirage/shared-memory-ring") + (synopsis "Xen-style shared memory rings") + (description + "Libraries for creating shared memory producer/consumer rings. The rings +follow the Xen ABI and may be used to create or implement Xen virtual +devices.") + (license license:isc))) + (define-public ocaml-luv (package (name "ocaml-luv") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:38 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:38 2023 Received: from localhost ([127.0.0.1]:35169 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9V-0001q7-Kr for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:38 -0500 Received: from lists.gnu.org ([209.51.188.17]:48246) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9T-0001pn-IC for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:36 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9T-0005al-Ch for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:35 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9Q-0004AI-VO for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:35 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw3n6xBWzDqBH for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:21 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224582; bh=m5xlzOWtJZhGu0oDSlZsNcxtLuksyNJrBGN8QhCCBEU=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=bsOOjoCHz8t16jKptqszGocBKPlFZEYDCBlfwa1Rqb4qf2n1EnDW1MDOqvuGpai2H oOZkP0ctDF74I0iahRsUJNwZqAVQfqp1ABzEPROq6zLGGH092j7qqPCCzD5IaXDdhm 1I9QcoEYOvF5EF/u6rnL5k7yHL1qH5Aq+2UqXJl4= X-Riseup-User-ID: 2DF9E15BC694518F218FB6A99EE06143FD492A4E4872081F02035A7809A4F943 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3n0SZ9z5vXJ; Mon, 9 Jan 2023 00:36:20 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 30/39] gnu: Add ocaml-async-rpc-kernel. Date: Mon, 9 Jan 2023 01:35:20 +0100 Message-Id: <20230109003529.23375-30-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-async-rpc-kernel): New variable. --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 64d7c8065a..d2c41a2fdf 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8434,6 +8434,29 @@ (define-public ocaml-async-unix system calls run in.") (license license:expat))) +(define-public ocaml-async-rpc-kernel + (package + (name "ocaml-async-rpc-kernel") + (version "0.15.0") + (source (origin + (method url-fetch) + (uri + "https://ocaml.janestreet.com/ocaml-core/v0.15/files/async_rpc_kernel-v0.15.0.tar.gz") + (sha256 + (base32 + "07aq9fz1cqyfy3sarwrdh0rzw57b4balmagdqwsfs1c2rjffk4d7")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-async-kernel ocaml-core ocaml-ppx-jane + ocaml-protocol-version-header)) + (properties `((upstream-name . "async_rpc_kernel"))) + (home-page "https://github.com/janestreet/async_rpc_kernel") + (synopsis "Platform-independent core of Async RPC library") + (description + "Library for building RPC-style protocols. This library is the portable +part of the Unix-oriented Async_rpc library, and is actively used in +JavaScript.") + (license license:expat))) + (define-public ocaml-textutils-kernel (package (name "ocaml-textutils-kernel") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:37 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:37 2023 Received: from localhost ([127.0.0.1]:35166 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9V-0001py-3Y for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:37 -0500 Received: from lists.gnu.org ([209.51.188.17]:48232) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9Q-0001pY-SX for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:33 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9Q-0005a0-63 for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:32 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9O-00049n-Ec for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:31 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3l3pdwz9tJ6 for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:19 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224579; bh=pPz1E9ZeKKQ6b7RwHDneRdq5KVnjQ4W9UbeE+5sinNo=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=MRSTghpyYJBeMdVTj2+mJSTyZGGJRHvoW/duyOONkY7EFfHVvoDs3J9GktgsEalBS LA/GEYwE8RorssmuRE8Vs3RerA4a2IIGCkwLDjXm0MTYp5RKigLAXzasBw/f1Z7HCr i/kKJpIu4n3LXnQwSGXdDbQwKJHppmcw1a/paP7Y= X-Riseup-User-ID: 662DE030DD1D4AEDA4B550F39E6E3C7E5A048DCA9040BA28F8C5138A5E8E58BD Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3k4YKLz5vXJ; Mon, 9 Jan 2023 00:36:18 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 28/39] gnu: Add ocaml-textutils. Date: Mon, 9 Jan 2023 01:35:18 +0100 Message-Id: <20230109003529.23375-28-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-textutils): New variable. --- gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 73cae7fd52..9f05552c15 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8432,6 +8432,30 @@ (define-public ocaml-textutils-kernel javascript.") (license license:expat))) +(define-public ocaml-textutils + (package + (name "ocaml-textutils") + (version "0.15.0") + (source (origin + (method url-fetch) + (uri + "https://ocaml.janestreet.com/ocaml-core/v0.15/files/textutils-v0.15.0.tar.gz") + (sha256 + (base32 + "1pr2vhvmiqcdipwd21vif24p2zzv6kbhvcmzkzb7qwhqmnv8ydn0")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-core + ocaml-core-kernel + ocaml-core-unix + ocaml-ppx-jane + ocaml-textutils-kernel + ocaml-uutf)) + (home-page "https://github.com/janestreet/textutils") + (synopsis "Text output utilities") + (description + "Utilities for working with terminal output, such as color printing.") + (license license:expat))) + (define-public ocaml-timezone (package (name "ocaml-timezone") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:37 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:37 2023 Received: from localhost ([127.0.0.1]:35164 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9U-0001pw-On for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:37 -0500 Received: from lists.gnu.org ([209.51.188.17]:48222) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9Q-0001pX-Ry for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:33 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9P-0005Zs-2w for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:31 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9N-00049c-5q for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:30 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3k243Dz9sBR for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:18 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224578; bh=7L3qmOJ4eVBX52hBbJea0tXVR6qTpFh2BqTslrQyuD8=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=Qz0Yd8tENy2nnnnoN+j5sS3OG0IrvqIBu5v5fEjvzsMw/0KZffvx1rVbonjUg4YQC y4LU1zVySL6EJdmaafAHhBK8uWA5qv2YBGrwTllhmNcnVx3oCicROquxOo7MEoEsQg 4f3AZhaxblg0R0IFgsl9qahvLNW29zAwv9YTYokc= X-Riseup-User-ID: 9121955A27B7D38CB4F44EEC10E7A9575457689A6BB87583BD1B1D2752D715BF Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3j36mSz5vXJ; Mon, 9 Jan 2023 00:36:17 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 27/39] gnu: Add ocaml-textutils-kernel. Date: Mon, 9 Jan 2023 01:35:17 +0100 Message-Id: <20230109003529.23375-27-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-textutils-kernel): New variable. --- gnu/packages/ocaml.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index fa56c687d0..73cae7fd52 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8411,6 +8411,27 @@ (define-public ocaml-async-unix system calls run in.") (license license:expat))) +(define-public ocaml-textutils-kernel + (package + (name "ocaml-textutils-kernel") + (version "0.15.0") + (source (origin + (method url-fetch) + (uri + "https://ocaml.janestreet.com/ocaml-core/v0.15/files/textutils_kernel-v0.15.0.tar.gz") + (sha256 + (base32 + "0dzsazmwnjq11z533wq3a319drlgrjgxr28y2j40h2i4qdfr3b5c")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-core ocaml-ppx-jane ocaml-uutf)) + (properties `((upstream-name . "textutils_kernel"))) + (home-page "https://github.com/janestreet/textutils_kernel") + (synopsis "Text output utilities") + (description + "The subset of textutils using only core_kernel and working in +javascript.") + (license license:expat))) + (define-public ocaml-timezone (package (name "ocaml-timezone") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:31 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:31 2023 Received: from localhost ([127.0.0.1]:35158 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9P-0001pJ-Bd for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:31 -0500 Received: from lists.gnu.org ([209.51.188.17]:38222) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9N-0001os-C4 for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:29 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9N-0005Z2-6m for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:29 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9L-000494-2G for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:28 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3g661Lz9s7b for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:15 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224575; bh=lrHJtN8gQYrkKKHS5x9xJl2NQ/inmFiYTdP4nOwucII=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=BXQz88XrnkLnoishzJpOxmFvi79cBE6Q6SOgBM6LCZWj8KIQbT6BjMLBl0tmrKAIe o76ySebuZzuSZkeSvPu0wChPwqQylVZAMLsD9fdTeC4zioV1CCzSnKLaX4WUQy1Uox ztSpIdDKtfN5blweAKwLS1hd8FWPNMw3k6BwfW+0= X-Riseup-User-ID: 1F5DA066373D0CE2B5588C2708B7DDD8B7E607DFBBA09C9222BB5F228CA5E227 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3f707mz5vjc; Mon, 9 Jan 2023 00:36:14 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 25/39] gnu: Add ocaml-async-kernel. Date: Mon, 9 Jan 2023 01:35:15 +0100 Message-Id: <20230109003529.23375-25-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-async-kernel): New variable. --- gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 44ef688154..cbfaf40da7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8365,6 +8365,28 @@ (define-public ocaml-core-unix core_kernel.") (license license:expat))) +(define-public ocaml-async-kernel + (package + (name "ocaml-async-kernel") + (version "0.15.0") + (source (origin + (method url-fetch) + (uri + "https://ocaml.janestreet.com/ocaml-core/v0.15/files/async_kernel-v0.15.0.tar.gz") + (sha256 + (base32 + "15n65wqyzqnvk66dq1rgzdl68ixfp1ri02zib7p2gcdh9c0kwx9h")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-core ocaml-core-kernel ocaml-ppx-jane)) + (properties `((upstream-name . "async_kernel"))) + (home-page "https://github.com/janestreet/async_kernel") + (synopsis "Monadic concurrency library") + (description + "Contains @code{Async}'s core data structures, like +@code{Deferred}. @code{Async_kernel} is portable, and so can be used in +JavaScript using @code{Async_js}.") + (license license:expat))) + (define-public ocaml-timezone (package (name "ocaml-timezone") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:31 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:31 2023 Received: from localhost ([127.0.0.1]:35156 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9P-0001pA-0S for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:31 -0500 Received: from lists.gnu.org ([209.51.188.17]:38210) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9L-0001ok-DY for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:27 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9L-0005YQ-8v for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:27 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9J-00048q-IF for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:26 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3f4WWzz9t86 for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:14 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224574; bh=8uFOpjaTBx0sftkWz3w2hgz6ZZKe3BtnmyAiae1H7y4=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=hGtZYYkZdT9rDxArNqhxI95J6ZyHcNIJkrRAO6CnjELL0QawLNsNCBfmIHRKAz3QH UThElSLT1FfLncMLP2ef6N/AdAv62021+QDAAllIy2YEbBEbfxfELWYNlROqZqKaJW 4ZQmKBXyTwIGl4w47gU/qLfu1VkdQ/F/rj0hK78A= X-Riseup-User-ID: 20B5421C6AA5DBF02BFBB012653D8B88391F7C7E20D04BB78529C7BD2D6815E4 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3d5XlKz5vXJ; Mon, 9 Jan 2023 00:36:13 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 24/39] gnu: Add ocaml-core-unix. Date: Mon, 9 Jan 2023 01:35:14 +0100 Message-Id: <20230109003529.23375-24-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-core-unix): New variable. --- gnu/packages/ocaml.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b82c3b4cd0..44ef688154 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8335,6 +8335,36 @@ (define-public ocaml4.07-core-kernel ;; MLton and sjs license:expat))))) +(define-public ocaml-core-unix + (package + (name "ocaml-core-unix") + (version "0.15.0") + (source (origin + (method url-fetch) + (uri + "https://ocaml.janestreet.com/ocaml-core/v0.15/files/core_unix-v0.15.0.tar.gz") + (sha256 + (base32 + "0bd0bn959p6q3k1zh8bh7qdri8bhpph720bkij2q16h2sb0d5y8a")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-core + ocaml-core-kernel + ocaml-expect-test-helpers-core + ocaml-jane-street-headers + ocaml-jst-config + ocaml-intrinsics + ocaml-ppx-jane + ocaml-sexplib + ocaml-timezone + ocaml-spawn)) + (properties `((upstream-name . "core_unix"))) + (home-page "https://github.com/janestreet/core_unix") + (synopsis "Unix-specific portions of Core") + (description + "Unix-specific extensions to some of the modules defined in core and +core_kernel.") + (license license:expat))) + (define-public ocaml-timezone (package (name "ocaml-timezone") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:31 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:31 2023 Received: from localhost ([127.0.0.1]:35154 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9O-0001p3-L2 for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:30 -0500 Received: from lists.gnu.org ([209.51.188.17]:38206) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9I-0001oZ-6c for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:24 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9I-0005XE-2D for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:24 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9F-00049u-Mi for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:23 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw3m57ThzDqL9 for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:20 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224580; bh=gGJ2/vXFfrqEsApLJNHncZ8h8mvoYYfZZzKR2w32Y94=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=VgtDs23ozMV4PXOfG9Yjdc+e2sohCv2t48ppP3+uTsTUn2LFJ5rAXIAml8vTExxEJ 8CUZxb5SwfYYLsq8sBl5Tdj/Xb5Cs/h0/j+Pt/2VtlgxL9Vh7Rk042YgSF9ojFwhCO iTriUI3KPHuylBAfe34h+fJ73HT64ATqLq4CtaQA= X-Riseup-User-ID: 1F32EDDAE846184225F464A2B2D762E4BFD805594E155D991F8B4CF38FFCB8E2 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3l68zpz5vXJ; Mon, 9 Jan 2023 00:36:19 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 29/39] gnu: Add ocaml-protocol-version-header. Date: Mon, 9 Jan 2023 01:35:19 +0100 Message-Id: <20230109003529.23375-29-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-protocol-version-header): New variable. --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 9f05552c15..64d7c8065a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6846,6 +6846,29 @@ (define-public ocaml4.07-bin-prot license:asl2.0 license:bsd-3))))) +(define-public ocaml-protocol-version-header + (package + (name "ocaml-protocol-version-header") + (version "0.15.0") + (source (origin + (method url-fetch) + (uri + "https://ocaml.janestreet.com/ocaml-core/v0.15/files/protocol_version_header-v0.15.0.tar.gz") + (sha256 + (base32 + "1izks6hxqd4gjxmwiv5ng52js8jbccl5hmyrvdqznjycp9ky9i6h")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-core ocaml-ppx-jane)) + (properties `((upstream-name . "protocol_version_header"))) + (home-page "https://github.com/janestreet/protocol_version_header") + (synopsis "Protocol versioning") + (description + "This library offers a lightweight way for applications protocols to +version themselves. The more protocols that add themselves to +@code{Known_protocol}, the nicer error messages we will get when connecting to +a service while using the wrong protocol.") + (license license:expat))) + (define-public ocaml-octavius (package (name "ocaml-octavius") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:30 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:30 2023 Received: from localhost ([127.0.0.1]:35152 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9O-0001p1-6T for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:30 -0500 Received: from lists.gnu.org ([209.51.188.17]:54532) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9E-0001oC-Fx for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:20 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9D-0005Vt-LY for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:19 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9C-00049Y-1E for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:19 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw3j0gRQzDqBH for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:17 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224577; bh=Wp7Vv+k9qL6lHVHm+yuTocCMEaCBVN44dVrhNpk0ZzI=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=N1Fi+H8hzWV5wtfwi9NSyDkke3J+eePLQn/FM/dnSVRucD0Mj+T6dFhf4rvsGlLbl e8Sjhj6NsTM/bC17x2M5iniOJSYkHt5BD6HBMtgAkHSMKTwQz2oaR2J67yUTxPa0lv 587X4xPgdSwWsKexjFrQnF9lToYjNqbkthsk2qS4= X-Riseup-User-ID: CBAE7B51F0E2806AFB314E1F28715E5D798396C2EB0E2B0A25C3D23B946A5CB0 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3h1XBrz5vXJ; Mon, 9 Jan 2023 00:36:16 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 26/39] gnu: Add ocaml-async-unix. Date: Mon, 9 Jan 2023 01:35:16 +0100 Message-Id: <20230109003529.23375-26-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-async-unix): New variable. --- gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index cbfaf40da7..fa56c687d0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8387,6 +8387,30 @@ (define-public ocaml-async-kernel JavaScript using @code{Async_js}.") (license license:expat))) +(define-public ocaml-async-unix + (package + (name "ocaml-async-unix") + (version "0.15.0") + (source (origin + (method url-fetch) + (uri + "https://ocaml.janestreet.com/ocaml-core/v0.15/files/async_unix-v0.15.0.tar.gz") + (sha256 + (base32 + "1i9vrflp5df5d31q01643l412wrwizisb0qak1mfszqrqikrv4a9")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-async-kernel ocaml-core ocaml-core-kernel + ocaml-core-unix ocaml-ppx-jane)) + (properties `((upstream-name . "async_unix"))) + (home-page "https://github.com/janestreet/async_unix") + (synopsis "Monadic concurrency library") + (description + "Unix-related dependencies for things like system calls and +threads. Using these, it hooks the Async_kernel scheduler up to either epoll +or select, depending on availability, and manages a thread pool that blocking +system calls run in.") + (license license:expat))) + (define-public ocaml-timezone (package (name "ocaml-timezone") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:21 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:21 2023 Received: from localhost ([127.0.0.1]:35147 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9E-0001oE-JG for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:21 -0500 Received: from lists.gnu.org ([209.51.188.17]:54518) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9B-0001ni-23 for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:17 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg9A-0005T8-Fg for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:16 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg98-00048f-Se for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:16 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3d30d2z9sBR for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:13 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224573; bh=YF0vp8M2sUXKZnUvHAD1qGe/1KqRSRbzXOHSrI7Hkbw=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=N7jizeFyy+sBfTbqbMb+7G8pksr/k2MJ0oOWUZ8ioRgRkw7S6Mto5OYFcPt2oYQdN hPE5lY4ZG1mq8tH6Tk/aO/eMM3GSdXDEzCfrU/iY0Ir7Hr4PxBkmnwOFo7ejUWdKWx r5dkpJ2FQoouzGJGxJuyxtW9CnWnYB+hebx3qW2Q= X-Riseup-User-ID: A9C9EEB076EE45663C40278F5B10EC22171D40E2B845FDF564425B00D37738E9 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3c45SSz5vXJ; Mon, 9 Jan 2023 00:36:12 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 23/39] gnu: Add ocaml-intrinsics. Date: Mon, 9 Jan 2023 01:35:13 +0100 Message-Id: <20230109003529.23375-23-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-intrinsics): New variable. --- gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index fb3332a5dd..b82c3b4cd0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9209,6 +9209,34 @@ (define-public ocaml-bigstringaf these missing pieces.") (license license:bsd-3))) +(define-public ocaml-intrinsics + (package + (name "ocaml-intrinsics") + (version "0.15.2") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/janestreet/ocaml_intrinsics") + (commit (string-append "v" version)))) + (file-name name) + (sha256 + (base32 "1mazr1ka2zlm2s8bw5i555cnhi1bmr9yxvpn29d3v4m8lsnfm73z")))) + (build-system dune-build-system) + ;; TODO figure out how to get around this error: + ;; No rule found for alias test/runtime-deps-of-tests + (arguments '(#:tests? #f)) + (propagated-inputs (list dune-configurator)) + (native-inputs (list ocaml-expect-test-helpers-core ocaml-core)) + (properties `((upstream-name . "ocaml_intrinsics"))) + (home-page "https://github.com/janestreet/ocaml_intrinsics") + (synopsis "AMD64 intrinsics with emulated fallbacks") + (description + "Provides an OCaml interface to operations that have dedicated hardware +instructions on some micro-architectures, with default implementations using C +stubs for all targets.") + (license license:expat))) + (define-public ocaml-trie (package (name "ocaml-trie") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:20 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:20 2023 Received: from localhost ([127.0.0.1]:35144 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9E-0001o6-7y for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:20 -0500 Received: from lists.gnu.org ([209.51.188.17]:54510) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg9A-0001nb-S6 for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:17 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg99-0005Sz-3t for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:16 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg97-00047j-4w for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:14 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3c1jjPz9s7b for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:12 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224572; bh=Vqqe0R4VcC8oISJKGjYsm4pwFDAWvoEQfrjuBuHGJ9w=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=ANIeVaTwGS4b7/P9cPtG4R2fziUmsLBQwxnHWDO4tOQc9/6UzJo+DpekgGooNyjRO gee39A1Cb/IfQL5ttami6XMBKXAa05D6s2ycUooxjIOYT60wmPH30MTD0XYCsvo5Qq 6YvpViYL6yUDZ944Px1xTQfDIXW8t5u7hL824f3Q= X-Riseup-User-ID: 58193745A364E2728577B69B37B8A3D0B7D8E1290D9ECF1B80F210F73177DAD0 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3b2clfz5vXJ; Mon, 9 Jan 2023 00:36:11 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 22/39] gnu: Add ocaml-expect-test-helpers-core. Date: Mon, 9 Jan 2023 01:35:12 +0100 Message-Id: <20230109003529.23375-22-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, TVD_SPACE_RATIO=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-expect-test-helpers-core): New variable. --- gnu/packages/ocaml.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 16d54f3230..fb3332a5dd 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2638,6 +2638,32 @@ (define-public ocaml4.07-alcotest `(#:package "alcotest")) (properties '())))) +(define-public ocaml-expect-test-helpers-core + (package + (name "ocaml-expect-test-helpers-core") + (version "0.15.0") + (source (origin + (method url-fetch) + (uri + "https://ocaml.janestreet.com/ocaml-core/v0.15/files/expect_test_helpers_core-v0.15.0.tar.gz") + (sha256 + (base32 + "0llnzx90qp1yydx4rg3fgd29wqfi92jrsvw1pp434gi5cj2p6akz")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-base + ocaml-base-quickcheck + ocaml-core + ocaml-ppx-jane + ocaml-sexp-pretty + ocaml-stdio + ocaml-re)) + (properties `((upstream-name . "expect_test_helpers_core"))) + (home-page "https://github.com/janestreet/expect_test_helpers_core") + (synopsis "Helpers for writing expectation tests") + (description + "Helper functions for writing expect tests.") + (license license:expat))) + (define-public ocaml-ppx-tools (package (name "ocaml-ppx-tools") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:20 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:20 2023 Received: from localhost ([127.0.0.1]:35142 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9D-0001o3-SS for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:20 -0500 Received: from lists.gnu.org ([209.51.188.17]:54506) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg99-0001mq-02 for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:15 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg97-0005Si-N4 for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:13 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg95-00047N-UK for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:13 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3b04cxz9t86 for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:11 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224571; bh=sCjyKCqloBHM5a6sZD4Rree2ttQy1LeNUL9NERQV7Cw=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=kAIXDt/Pa8apQWWxUWY/rC2hA0gokZGmcr5QrWad8KhOFKf3C0eGa+z53/koyWGHF lZWCbvRqFyhyAeq10WuQhyqkYDa10lWe3WHevLoQZSr83h/y0H7ndkPMD/3mBIpMFo 68nMY/Reh0IXVvtK2dvMF16ERf4Y3Xr6qAewSskU= X-Riseup-User-ID: 78E8AA116329339D16DB4E5DE7FBD83D438B886038320133433A6766CF69315F Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3Z10Pvz5vXJ; Mon, 9 Jan 2023 00:36:09 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 21/39] gnu: Add ocaml-sexp-pretty. Date: Mon, 9 Jan 2023 01:35:11 +0100 Message-Id: <20230109003529.23375-21-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-sexp-pretty): New variable. --- gnu/packages/ocaml.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f703b04760..16d54f3230 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6163,6 +6163,27 @@ (define-public ocaml4.07-sexplib "0ksx62zsxhz8xmdrsn41n2hbc2qbyh3bxxc6946xisvgwh42h3q3")) (properties '())))) +(define-public ocaml-sexp-pretty + (package + (name "ocaml-sexp-pretty") + (version "0.15.0") + (source (origin + (method url-fetch) + (uri + "https://ocaml.janestreet.com/ocaml-core/v0.15/files/sexp_pretty-v0.15.0.tar.gz") + (sha256 + (base32 + "1wax07zgvjcmrdnc2g89h6sbp5cirk65l5ibf00h57dzq8xn9s4r")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-base ocaml-ppx-base ocaml-sexplib ocaml-re)) + (properties `((upstream-name . "sexp_pretty"))) + (home-page "https://github.com/janestreet/sexp_pretty") + (synopsis "S-expression pretty-printer") + (description + "Library for pretty-printing s-expressions, using better indentation +rules than the default pretty printer in Sexplib.") + (license license:expat))) + (define-public ocaml-base (package (name "ocaml-base") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:17 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:17 2023 Received: from localhost ([127.0.0.1]:35139 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9A-0001nd-Us for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:17 -0500 Received: from lists.gnu.org ([209.51.188.17]:54496) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg96-0001lv-T4 for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:13 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg96-0005Rn-C8 for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:12 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg94-00046w-MQ for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:12 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3Y5bQ5z9sBR for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:09 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224569; bh=U0buoOpStDgxKZRfdd/42Piy1lp2+p71BdnqjyPtFUo=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=Yjq+Z/xpeHo1GbSG61qZmxr4/FSoFjfdKZKisDFWeShqWydYwmmm/RbK8cmqMNa3f KfOzboX5jzcAkhpQYYoG1ua93Rcm/deaQCYBDEouMjB9s4TG23NN1bsa/EPM06z2mO sqS+eqFqFuxaH5STftkbWkcSFWj80gTsWYhJndsI= X-Riseup-User-ID: 97ED8D63EA94DCD636A18006A12DDFCF201A3F198E79C39C442DDFBDA256DC95 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3X6ZyRz5vXJ; Mon, 9 Jan 2023 00:36:08 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 20/39] gnu: Add ocaml-mirage-logs. Date: Mon, 9 Jan 2023 01:35:10 +0100 Message-Id: <20230109003529.23375-20-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-mirage-logs): New variable. --- gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 52692b40bf..f703b04760 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3958,6 +3958,34 @@ (define-public ocaml-mirage-profile (package-propagated-inputs ocaml-mirage-profile-unix) (append ocaml-mirage-profile-unix))))) + +(define-public ocaml-mirage-logs + (package + (name "ocaml-mirage-logs") + (version "1.2.0") + (source (origin + (method url-fetch) + (uri + "https://github.com/mirage/mirage-logs/releases/download/v1.2.0/mirage-logs-v1.2.0.tbz") + (sha256 + (base32 + "0h0amzjxy067jljscib7fvw5q8k0adqa8m86affha9hq5jsh07a1")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-logs ocaml-ptime ocaml-mirage-clock + ocaml-mirage-profile + ocaml-lwt)) + (native-inputs (list ocaml-alcotest)) + (home-page "https://github.com/mirage/mirage-logs") + (synopsis + "Reporter for the Logs library that writes to stderr with timestamps") + (description + "Uses a Mirage @code{CLOCK} to write timestamped log messages. It can +also log only important messages to the console, while writing all received +messages to a ring buffer which is displayed if an exception occurs. If +tracing is enabled (via mirage-profile), it also writes each log message to +the trace buffer.") + (license license:isc))) + (define-public ocaml-ocurl (package (name "ocaml-ocurl") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:17 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:16 2023 Received: from localhost ([127.0.0.1]:35136 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9A-0001nU-Gm for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:16 -0500 Received: from lists.gnu.org ([209.51.188.17]:54484) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg96-0001lt-Se for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:13 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg95-0005Re-9W for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:12 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg93-00046a-GR for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:11 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3X4F8Rz9s7b for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:08 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224568; bh=4S886WQowC+0zlaaECJGkHSSTaJxFjXO7Jnn5NjSo20=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=F8gEyukKRQ7T2KW/Cx0h2HFYFIR/FIG5OhveRIUIT2BNn0os+fF0CRCAaoGtbEyF3 jEGunhyzIyMP9uf7I6qCQD4aSlB9EBYKIxeWVzx4CpxWwTfNCOx1Pbh5lYtuzneRN/ bZ1RBmT19r/r80O/J1EApL7z/qaojK8b0lEZTpWw= X-Riseup-User-ID: D85F22F2B38815CC7EC39C5AF7782FE43A04EB4E37A37313048A24DEE260B901 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3W4yzDz5vXJ; Mon, 9 Jan 2023 00:36:07 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 19/39] gnu: Add ocaml-ptime. Date: Mon, 9 Jan 2023 01:35:09 +0100 Message-Id: <20230109003529.23375-19-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-ptime): New variable. --- gnu/packages/ocaml.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 70129a5b6b..52692b40bf 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3855,6 +3855,38 @@ (define-public ocaml-mirage-clock epoch.") (license license:isc))) +(define-public ocaml-ptime + (package + (name "ocaml-ptime") + ;; TODO 1.1.0 has some issues, so for now we are stuck with 0.8.5 + (version "0.8.5") + (source + (origin + (method url-fetch) + (uri "https://erratique.ch/software/ptime/releases/ptime-0.8.5.tbz") + (sha256 + (base32 + "1fxq57xy1ajzfdnvv5zfm7ap2nf49znw5f9gbi4kb9vds942ij27")))) + (build-system ocaml-build-system) + (arguments + `(#:build-flags (list "build" "--with-js_of_ocaml" "true" "--tests" "true") + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (propagated-inputs + (list ocaml-result js-of-ocaml)) + (native-inputs + (list ocaml-findlib ocamlbuild ocaml-topkg opam)) + (home-page "https://erratique.ch/software/ptime") + (synopsis "POSIX time for OCaml") + (description + "Ptime offers platform independent POSIX time support in pure OCaml. It +provides a type to represent a well-defined range of POSIX timestamps with +picosecond precision, conversion with date-time values, conversion with RFC +3339 timestamps and pretty printing to a human-readable, locale-independent +representation.") + (license license:isc))) + (define-public ocaml-mirage-unix (package (name "ocaml-mirage-unix") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:16 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:16 2023 Received: from localhost ([127.0.0.1]:35134 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg9A-0001nN-4e for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:16 -0500 Received: from lists.gnu.org ([209.51.188.17]:59648) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg94-0001l1-AW for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:10 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg94-0005R4-42 for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:10 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg92-00045s-BL for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:09 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw3W2mbVzDqKW for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:07 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224567; bh=V+5lcAcDO0BsntV4U2++QjkjVx/5Rkw8WPkoVsJARVg=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=qEpwKZo1R4Uk08/jLuVxpvpi22/lbTCLeiq9Lr0xJDNOfxZB6ioXQoatHIrxIKuU1 KyliZyI+AFqM8Jj4Z+a17iZD2Ng5bbctJDQohTweRyJb7SV6UKUFodGleA+CoGEGKX xFz8SY1ZxFejrJb5WabuAoH8rvxwiqgl7Nbln+0E= X-Riseup-User-ID: B02C637C10EE87E38944E2F2B1DDC3A74FCDDD880144942B445611C42AB7FF62 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3V3Sv8z5vXJ; Mon, 9 Jan 2023 00:36:06 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 18/39] gnu: Add ocaml-mirage-clock. Date: Mon, 9 Jan 2023 01:35:08 +0100 Message-Id: <20230109003529.23375-18-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-mirage-clock): New variable. --- gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 33bc997dc5..70129a5b6b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3833,6 +3833,28 @@ (define-public ocaml-mirage-time "Defines the signature for time-related operations for MirageOS.") (license license:isc))) +(define-public ocaml-mirage-clock + (package + (name "ocaml-mirage-clock") + (version "4.2.0") + (source (origin + (method url-fetch) + (uri + "https://github.com/mirage/mirage-clock/releases/download/v4.2.0/mirage-clock-4.2.0.tbz") + (sha256 + (base32 + "0iwqi2381fbi3jlcw424dbhjs4fpisw7qpqzfjx7jg72bdfx25zs")))) + (build-system dune-build-system) + (home-page "https://github.com/mirage/mirage-clock") + (synopsis "Libraries and module types for portable clocks") + (description + "This library implements portable support for an operating system +timesource that is compatible with the MirageOS library interfaces. It +implements an @code{MCLOCK} module that represents a monotonic timesource +since an arbitrary point, and @code{PCLOCK} which counts time since the Unix +epoch.") + (license license:isc))) + (define-public ocaml-mirage-unix (package (name "ocaml-mirage-unix") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:16 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:16 2023 Received: from localhost ([127.0.0.1]:35132 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg99-0001nG-Qb for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:16 -0500 Received: from lists.gnu.org ([209.51.188.17]:59636) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg93-0001kg-GV for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:09 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg93-0005Qb-92 for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:09 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg91-00045e-IA for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:08 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw3V17tyzDq5t for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:06 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224566; bh=fpJUc64XhFQ1Z+Ao8MVpKkXMzItA69O/nEAcPMioESs=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=b0AbuhWKzCbVYgSsHfKb9NiQ+mNrRfHdV7RH7RbB9MV24cujMHBpUvHtM7pPEpCdu WYa/UKjwQEOb6dV6V6NY7SqwGnrrgG9Ky0Y6v4XHpFT+LYZkCDjXtAJgfbH0BNzw2t mOYesb8EXMA5ieUnY1HCmSOnOSKSwYZSb72J9Rxo= X-Riseup-User-ID: 41C2BA32CDA9D15ED1639AD340FE0358CB0DA0A9E70D0160ED63005CBA1EF3DB Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3T1yDKz5vXJ; Mon, 9 Jan 2023 00:36:05 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 17/39] gnu: Add ocaml-mirage-profile. Date: Mon, 9 Jan 2023 01:35:07 +0100 Message-Id: <20230109003529.23375-17-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-mirage-profile): New variable. --- gnu/packages/ocaml.scm | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 62fb00dd37..33bc997dc5 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3890,6 +3890,20 @@ (define-public ocaml-mirage-profile-unix non-profiling case.") (license license:bsd-2))) +(define-public ocaml-mirage-profile + (package + (inherit ocaml-mirage-profile-unix) + (name "ocaml-mirage-profile") + (arguments '(#:package "mirage-profile" + ;; TODO cyclic dependency with mirage-profile + ;; It could be broken using package variants, if not for + ;; propagated inputs leading to version conflicts. + #:tests? #f)) + (propagated-inputs + (modify-inputs + (package-propagated-inputs ocaml-mirage-profile-unix) + (append ocaml-mirage-profile-unix))))) + (define-public ocaml-ocurl (package (name "ocaml-ocurl") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:16 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:15 2023 Received: from localhost ([127.0.0.1]:35130 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg99-0001ms-8o for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:15 -0500 Received: from lists.gnu.org ([209.51.188.17]:59622) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg92-0001k4-3c for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:08 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg91-0005Pi-Sr for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:07 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg8z-00045H-Sb for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:07 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4Nqw3S6bh3z9s7b for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:04 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224564; bh=3x3NNjt1TWpKr/mQIWe7MFV/6l6+ASTXpqC664+yB9o=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=ZPC6eELaO8ktJ+262Sx37c446ZpiZv9gpUqdGQSW1BKJiqTGij+m9ZIyGl8YZpDXq TA+NLsuV6IUf/B4S5aC1dVP4Um28aHHnKvwE1h+quOrXblAYmBGpe9eErrU47fvYnf faWTCIKgyQtR98K0Qfg01vqcCwb7YJPyGB79GCpY= X-Riseup-User-ID: 0803191A529C6F64D9ECEA9B65E8131F7DDCD70CDE0DDF88501FB78D4DDA7480 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3S0Ssvz5vXJ; Mon, 9 Jan 2023 00:36:03 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 16/39] gnu: Add ocaml-mirage-profile-unix. Date: Mon, 9 Jan 2023 01:35:06 +0100 Message-Id: <20230109003529.23375-16-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@HIDDEN; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-mirage-profile-unix): New variable. --- gnu/packages/ocaml.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 72cb000fd9..62fb00dd37 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3853,6 +3853,43 @@ (define-public ocaml-mirage-unix handles the main loop and timers.") (license license:isc))) +(define-public ocaml-mirage-profile-unix + (package + (name "ocaml-mirage-profile-unix") + (version "0.9.1") + (source (origin + (method url-fetch) + (uri + "https://github.com/mirage/mirage-profile/releases/download/v0.9.1/mirage-profile-v0.9.1.tbz") + (sha256 + (base32 + "0lh3591ad4v7nxpd410b75idmgdq668mqdilvkg4avrwqw1wzdib")))) + (build-system dune-build-system) + (arguments + '(#:package "mirage-profile-unix" + #:tests? #f ;; depends on ocaml-mirage-profile which would form a loop + #:phases + (modify-phases %standard-phases + ;; TODO is there a way to do this with dune build flags? + (add-after 'unpack 'disable-xen + (lambda _ + ;; this way it is not detected as a build target + (rename-file "xen" "_xen")))))) + (propagated-inputs (list ocaml-cstruct ocaml-ocplib-endian ocaml-lwt + ocaml-mtime ocaml-ppx-cstruct)) + (native-inputs (list ocaml-ppx-cstruct)) + (home-page "https://github.com/mirage/mirage-profile") + (synopsis "Collects Ocaml/Lwt profiling information in CTF format") + (description + "Used to trace execution of OCaml/Lwt programs (such as Mirage +unikernels) at the level of Lwt threads. The traces can be viewed using +JavaScript or GTK viewers provided by mirage-trace-viewer or processed by +tools supporting the Common Trace Format. +When compiled against a normal version of Lwt, OCaml's cross-module inlining +will optimise these calls away, meaning there should be no overhead in the +non-profiling case.") + (license license:bsd-2))) + (define-public ocaml-ocurl (package (name "ocaml-ocurl") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:15 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:15 2023 Received: from localhost ([127.0.0.1]:35127 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg98-0001mi-Oe for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:15 -0500 Received: from lists.gnu.org ([209.51.188.17]:59612) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg90-0001jM-KC for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:07 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg90-0005Or-7R for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:06 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg8y-00044l-NH for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:05 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw3R5MXlzDq5t for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:03 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224563; bh=nX7GLLuJ0cycS1NcQSnmuw1xubxj7P0CbliPD3dOe14=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=IzlkpR6fI4pJpGiGM0NOxgB6AbOtdNTzSeK7u1/DWoReF5SMBxjbN3GrUAYisAbea Y0aJquhOq3SXxJF71N3uLgDD+qcLq/RcT/SLB813ENQvJcK8I/Bvv/6ZGu/PWaoQyQ tQTv9RX5rQVgerKgiVnbuOwR8SKoxzTI7JMFj0UA= X-Riseup-User-ID: B8B7AA28639A6BB7D5BBE44B076F7111C233A0E9351BA6DEE7E19BC83D3CA67D Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3Q65zMz5vXJ; Mon, 9 Jan 2023 00:36:02 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 15/39] gnu: Add ocaml-ppx-cstruct. Date: Mon, 9 Jan 2023 01:35:05 +0100 Message-Id: <20230109003529.23375-15-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-ppx-cstruct): New variable. --- gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index ee4c1cf91a..72cb000fd9 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4469,6 +4469,28 @@ (define-public ocaml4.07-cstruct (define ocaml-cstruct-unix ocaml-cstruct) (define ocaml-cstruct-sexp ocaml-cstruct) +(define-public ocaml-ppx-cstruct + (package + (inherit ocaml-cstruct) + (name "ocaml-ppx-cstruct") + (properties `((upstream-name . "ppx_cstruct"))) + (arguments '(#:package "ppx_cstruct" + ;; TODO doesn't find test deps for some reason? + ;; I have no clue why. + #:tests? #f)) + (propagated-inputs + (modify-inputs + (package-propagated-inputs ocaml-cstruct) + (append ocaml-cstruct + ocaml-ppxlib + ocaml-sexplib))) + (native-inputs + (modify-inputs + (package-propagated-inputs ocaml-cstruct) + (append ocaml-cstruct-sexp + ocaml-findlib + ocaml-ppx-sexp-conv))))) + (define-public ocaml-hex (package (name "ocaml-hex") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:36:14 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:36:14 2023 Received: from localhost ([127.0.0.1]:35125 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg98-0001mW-Co for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:14 -0500 Received: from lists.gnu.org ([209.51.188.17]:59600) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg8z-0001ih-AT for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:36:05 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg8z-0005OU-43 for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:05 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg8x-00044H-IA for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:36:04 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw3Q3WplzDqJM for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:36:02 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224562; bh=DPZvSpx7Tu1i5sNEtRwH4zlw2wpqavm3d3up0EnBLSw=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=mm0Ac6n4uieWz2NOEroEd8t77gdMNWfnZ9Xj1puyFCeiUSBiTgomgdYNTrhAl3oYT 4o5Q0USIcIsYkcBhSLgtxiqP4+76dY6/u6KN5NeZrQ7LMuYtSV49WgmzW/n+RurTRZ aPs5HeA9XvdtiPsnmlwxNthwc/HudegvQD66Hbwo= X-Riseup-User-ID: E1FF5932FCDD04C803CAAF8D980AE79110F5183ED3668B79A23CB95E520381C9 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw3P4Zpyz5vXJ; Mon, 9 Jan 2023 00:36:01 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 14/39] gnu: Add aliases for ocaml-cstruct and ocaml-lwt subpackages. Date: Mon, 9 Jan 2023 01:35:04 +0100 Message-Id: <20230109003529.23375-14-raingloom@HIDDEN> In-Reply-To: <20230109003529.23375-1-raingloom@HIDDEN> References: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> * gnu/packages/ocaml.scm (ocaml-lwt-ppx ocaml-cstruct-unix ocaml-cstruct-sexp): New variables. --- We've discussed aliases vs variants with Julien Lepiller and yeah, these are not ideal, but also it's unclear how variants could be used when the original packages already explicitly specify which subpackage they are building. But, perfect is the enemy of the good. So I'm gonna leave these aliases in for now because I have a lot more MirageOS stuff to work on for my thesis project at uni. gnu/packages/ocaml.scm | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 53252aac03..ee4c1cf91a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2971,6 +2971,11 @@ (define-public ocaml-lwt locks or other synchronization primitives.") (license license:lgpl2.1))) +;; TODO this alias is not ideal but ocaml-lwt already explicitly specifies a +;; package argument and at least this way the importer doesn't try to +;; re-import it. +(define ocaml-lwt-ppx ocaml-lwt) + (define-public ocaml-lwt-dllist (package (name "ocaml-lwt-dllist") @@ -4458,6 +4463,12 @@ (define-public ocaml4.07-cstruct "0jj3whs8r3jc524i9bb67rffh7y7r157hjgvws0bkxijxpjzwkbk")))) (properties '())))) +;; TODO again, the "parent" package already has an explicit package argument, +;; so a variant package doesn't make sense, at least these aliases help the +;; importer out so it doesn't re-import things. At least hopefully. +(define ocaml-cstruct-unix ocaml-cstruct) +(define ocaml-cstruct-sexp ocaml-cstruct) + (define-public ocaml-hex (package (name "ocaml-hex") -- 2.38.1
guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 9 Jan 2023 00:35:55 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 08 19:35:55 2023 Received: from localhost ([127.0.0.1]:35058 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pEg8o-0001fv-JB for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:35:55 -0500 Received: from lists.gnu.org ([209.51.188.17]:57154) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <raingloom@HIDDEN>) id 1pEg8k-0001fI-Of for submit <at> debbugs.gnu.org; Sun, 08 Jan 2023 19:35:52 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg8k-0005Kx-FU for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:35:50 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>) id 1pEg8i-0003yT-Ap for guix-patches@HIDDEN; Sun, 08 Jan 2023 19:35:50 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4Nqw365R8WzDqL9 for <guix-patches@HIDDEN>; Mon, 9 Jan 2023 00:35:46 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673224546; bh=ptA3PD2F7vJHWDKVH6Oll9iTFjAiWtFFMKCULr+xGBY=; h=From:To:Cc:Subject:Date:From; b=cP51D1fYVcI+JHnQ9Kzm6eqf7acgh6prCDeY1UjSL9BtVh3tfjQFy6ewD6CUgSnpV qZC8ZXCIbsrRtTriS7zf2GBbHXIoSla2kG1fbABCT8PNNCh4H8dAy4gUwy2XqN9lNN Yn2MiLs0n2qRcj57WR8ox3MMggw/GFaBKmfY2vrs= X-Riseup-User-ID: C78E3E70C5D262291E28E7B7E59CF4393E61F4821B8965DE615A15360021D272 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4Nqw356Bgnz5xLw; Mon, 9 Jan 2023 00:35:45 +0000 (UTC) From: Csepp <raingloom@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 01/39] gnu: Add ocaml-domain-name. Date: Mon, 9 Jan 2023 01:34:51 +0100 Message-Id: <20230109003529.23375-1-raingloom@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: raingloom <raingloom@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.4 (--) From: raingloom <raingloom@HIDDEN> gnu/packages/ocaml.scm (ocaml-domain-name): New variable. --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c3a586f091..41485b3686 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -27,6 +27,7 @@ ;;; Copyright © 2022 Maxim Cournoyer <maxim.cournoyer@HIDDEN> ;;; Copyright © 2022 John Kehayias <john.kehayias@HIDDEN> ;;; Copyright © 2022 Garek Dyszel <garekdyszel@HIDDEN> +;;; Copyright © 2023 Csepp <raingloom@HIDDEN> ;;; ;;; This file is part of GNU Guix. ;;; @@ -3537,6 +3538,28 @@ (define-public ocaml-ocp-index (license (list license:gpl3+ license:lgpl2.1+)))) +(define-public ocaml-domain-name + (package + (name "ocaml-domain-name") + (version "0.4.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/hannesm/domain-name/") + (commit (string-append "v" version)))) + (file-name name) + (sha256 + (base32 + "1a669zz1pc7sqbi1c13jsnp8algcph2b8gr5fjrjhyh3p232770k")))) + (build-system dune-build-system) + (native-inputs (list ocaml-alcotest)) + (home-page "https://github.com/hannesm/domain-name") + (synopsis "RFC 1035 Internet domain name data structure and parser") + (description + "Parses and constructs RFC compliant domain names. The invariants on the +length of domain names are preserved throughout the module.") + (license license:isc))) + (define-public ocaml-ocurl (package (name "ocaml-ocurl") -- 2.38.1
Csepp <raingloom@HIDDEN>
:guix-patches@HIDDEN
.
Full text available.guix-patches@HIDDEN
:bug#60673
; Package guix-patches
.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.