Message ID | 20241031125127.14080-16-ngraves@ngraves.fr |
---|---|
State | New |
Headers | show
Return-Path: <guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org> X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id BA87627BBEA; Thu, 31 Oct 2024 12:54:07 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_DNSWL_BLOCKED, RCVD_IN_VALIDITY_CERTIFIED,RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE, SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 76B2627BBE2 for <patchwork@mira.cbaines.net>; Thu, 31 Oct 2024 12:54:07 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from <guix-patches-bounces@gnu.org>) id 1t6Ug5-0003Kk-Ju; Thu, 31 Oct 2024 08:53:29 -0400 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 <Debian-debbugs@debbugs.gnu.org>) id 1t6Ufl-0002tw-Pj for guix-patches@gnu.org; Thu, 31 Oct 2024 08:53:13 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1t6Ufl-00022Q-8u for guix-patches@gnu.org; Thu, 31 Oct 2024 08:53:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=TT7Z8enpEy/0to0m0FZK/bDPur8CLiY+cWDRMhdUogI=; b=LRHcpp8tuAP2Zf+AiXtSvAR0QajiMPRqYgIVcWvFcEIoWz1qQcrxjFOJRkTbSChvP4J74dyqQR56rh6Rlzbn9XgiaY+reUWbdEMKQzR2c/mvbSMKRI08gVOhsQT6FnIL66vwhvA+GKCspWydBmnZc2RzKu+jH8PMWmZBDvSuXo5DnYdNtqfr8g6MoEhF93eaYkD7zfUvNjWOD/QOuF5CuNnygUyBrd9SdZS66yn2uF9yag07jEbJ5GgXcY20aUc98GZtz7VXKBucfSgtZEapu2YBRSj6rbRi+lOpiqt8D/+1jeSXvNytFco9sYpb7P0slC2WSdC2upR96ovd+v45cg==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1t6Ufl-0007uR-33 for guix-patches@gnu.org; Thu, 31 Oct 2024 08:53:09 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#67921] [PATCH v3 15/24] gnu: Add ghc-tagged-bootstrap-for-9.6 Resent-From: Nicolas Graves <ngraves@ngraves.fr> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org> Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 31 Oct 2024 12:53:09 +0000 Resent-Message-ID: <handler.67921.B67921.173037916830227@debbugs.gnu.org> Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 67921 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 67921@debbugs.gnu.org Cc: dev@jpoiret.xyz, lars@6xq.net, saku@laesvuori.fi Received: via spool by 67921-submit@debbugs.gnu.org id=B67921.173037916830227 (code B ref 67921); Thu, 31 Oct 2024 12:53:09 +0000 Received: (at 67921) by debbugs.gnu.org; 31 Oct 2024 12:52:48 +0000 Received: from localhost ([127.0.0.1]:41948 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces@debbugs.gnu.org>) id 1t6UfP-0007rM-ML for submit@debbugs.gnu.org; Thu, 31 Oct 2024 08:52:48 -0400 Received: from 10.mo576.mail-out.ovh.net ([46.105.73.241]:35155) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ngraves@ngraves.fr>) id 1t6Uex-0007pT-DU for 67921@debbugs.gnu.org; Thu, 31 Oct 2024 08:52:20 -0400 Received: from director5.ghost.mail-out.ovh.net (unknown [10.109.148.126]) by mo576.mail-out.ovh.net (Postfix) with ESMTP id 4XfP5t2PLXz23Sb for <67921@debbugs.gnu.org>; Thu, 31 Oct 2024 12:52:18 +0000 (UTC) Received: from ghost-submission-5b5ff79f4f-jhbxs (unknown [10.111.174.16]) by director5.ghost.mail-out.ovh.net (Postfix) with ESMTPS id 9E66A1FE3C; Thu, 31 Oct 2024 12:52:17 +0000 (UTC) Received: from ngraves.fr ([37.59.142.99]) by ghost-submission-5b5ff79f4f-jhbxs with ESMTPSA id ohmyFYF9I2eFkgAA425QWA (envelope-from <ngraves@ngraves.fr>); Thu, 31 Oct 2024 12:52:17 +0000 Authentication-Results: garm.ovh; auth=pass (GARM-99G00348f52c4f-22fd-4bd9-801c-5f03ab7fcd88, CD33DFF0435C6B52A7C438D6B876B70D33D893A4) smtp.auth=ngraves@ngraves.fr X-OVh-ClientIp: 80.214.74.119 Date: Thu, 31 Oct 2024 13:46:54 +0100 Message-ID: <20241031125127.14080-16-ngraves@ngraves.fr> X-Mailer: git-send-email 2.46.0 In-Reply-To: <20241031125127.14080-1-ngraves@ngraves.fr> References: <20241031125127.14080-1-ngraves@ngraves.fr> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Ovh-Tracer-Id: 9043791003970363942 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgeeftddrvdekhedggeefucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecuqfggjfdpvefjgfevmfevgfenuceurghilhhouhhtmecuhedttdenucenucfjughrpefhvfevufffkffojghfggfgsedtkeertdertddtnecuhfhrohhmpefpihgtohhlrghsucfirhgrvhgvshcuoehnghhrrghvvghssehnghhrrghvvghsrdhfrheqnecuggftrfgrthhtvghrnheptdegkefhteekgfefleehleeggfdufeejteehveelfeejjeelleevudehheevkeefnecuffhomhgrihhnpehhrghskhgvlhhlrdhorhhgnecukfhppeduvdejrddtrddtrddupdektddrvddugedrjeegrdduudelpdefjedrheelrddugedvrdelleenucevlhhushhtvghrufhiiigvpedunecurfgrrhgrmhepihhnvghtpeduvdejrddtrddtrddupdhmrghilhhfrhhomhepnhhgrhgrvhgvshesnhhgrhgrvhgvshdrfhhrpdhnsggprhgtphhtthhopedupdhrtghpthhtohepieejledvudesuggvsggsuhhgshdrghhnuhdrohhrghdpoffvtefjohhsthepmhhoheejiedpmhhouggvpehsmhhtphhouhht DKIM-Signature: a=rsa-sha256; bh=TT7Z8enpEy/0to0m0FZK/bDPur8CLiY+cWDRMhdUogI=; c=relaxed/relaxed; d=ngraves.fr; h=From; s=ovhmo4487190-selector1; t=1730379138; v=1; b=y7XwdxZaQqbLuMTpTZ3s62iKl1WtUkH8VFGN9fzp7MZqneRNEB9kKuACBz39qxoJnBryf92l 0UaSEMelXqc8z9pfhwR+99QcA1yWMZ1HmtFsYzyuadHjKTO3ztG7gDvXJEweLqiYUa+2n1lpmAB d+cm2HFx1kUA2Ux6ImcUXxcP35eDN6yJxcyx1W7mTC36Ygq9W9fHjoeMttcv5BMBs5u5jnJH8rI jQpSDO58aUg948jFBvDeQCosDSTUYrFG2g/vfgJvjaQRCFYHT63CpOKHjDVn7AmbAZyppVtyY9J qiQE04HmHqqEcVRMynRBR3hvvM2o9UU7eAwF1wtj4R68g== X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: <guix-patches.gnu.org> List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>, <mailto:guix-patches-request@gnu.org?subject=unsubscribe> List-Archive: <https://lists.gnu.org/archive/html/guix-patches> List-Post: <mailto:guix-patches@gnu.org> List-Help: <mailto:guix-patches-request@gnu.org?subject=help> List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>, <mailto:guix-patches-request@gnu.org?subject=subscribe> Reply-to: Nicolas Graves <ngraves@ngraves.fr> X-ACL-Warn: , Nicolas Graves via Guix-patches <guix-patches@gnu.org> From: Nicolas Graves via Guix-patches via <guix-patches@gnu.org> Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches |
Series |
GHC update.
|
expand
|
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index a7e8cc93ef..d59f9d7133 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -1760,6 +1760,26 @@ (define ghc-random-bootstrap-for-9.6 library, including the ability to split random number generators.") (license license:bsd-3))) +(define ghc-tagged-bootstrap-for-9.6 + (package + (name "ghc-tagged-bootstrap") + (version "0.8.7") + (source + (origin + (method url-fetch) + (uri (hackage-uri "tagged" version)) + (sha256 + (base32 + "0qdr1kv1zn5iamnwyn5nf0ywxs4wv779k0gpw94kyqx14ynfw534")))) + (build-system haskell-build-system) + (properties '((upstream-name . "tagged"))) + (arguments (list #:haskell ghc-bootstrap-for-9.6)) + (home-page "https://hackage.haskell.org/package/tagged") + (synopsis "Haskell phantom types to avoid passing dummy arguments") + (description "This library provides phantom types for Haskell 98, to avoid +having to unsafely pass dummy arguments.") + (license license:bsd-3))) + (define ghc-nats-bootstrap-for-9.6 (package (name "ghc-nats-bootstrap")
From: Saku Laesvuori <saku@laesvuori.fi> * gnu/packages/haskell.scm (ghc-tagged-bootstrap-for-9.6): New variable. Change-Id: Ifd3996a62cfa33d155315807d4ead706f7e64452 --- gnu/packages/haskell.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+)