From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id MOZ9KkP7nl9ZDgAA0tVLHw (envelope-from ) for ; Sun, 01 Nov 2020 18:15:31 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id gFNRJkP7nl/5VAAAB5/wlQ (envelope-from ) for ; Sun, 01 Nov 2020 18:15:31 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 73A9B9402A0 for ; Sun, 1 Nov 2020 18:15:31 +0000 (UTC) Received: from localhost ([::1]:45368 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kZHt4-00028Q-FH for larch@yhetil.org; Sun, 01 Nov 2020 13:15:30 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:58248) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kZHsl-00027W-9b for guix-devel@gnu.org; Sun, 01 Nov 2020 13:15:11 -0500 Received: from sender4-of-o51.zoho.com ([136.143.188.51]:21183) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kZHsf-0001JX-S2 for guix-devel@gnu.org; Sun, 01 Nov 2020 13:15:08 -0500 ARC-Seal: i=1; a=rsa-sha256; t=1604254500; cv=none; d=zohomail.com; s=zohoarc; b=IvvZ6VEP7+OsVxz5nvdkXPrFwv4VsXN10Vi0YLQb7cOatbz13UvBXyS26wm5g4TdRr83wnu81ZH5bWKQo+8/d8dzI1M7x0JdMn/6+TkjVVw6QJ+knJmk2DuOKmesLNXtbhNhAHc62yefqE7HneaiHtyRZl9zJ3HWAfi+VO1z2UQ= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1604254500; h=Content-Type:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To; bh=iVTqEDJ/WxXmkh2cyz4LSbBLlc5Zr827fVJwNKNZe3w=; b=i17YXetQ9nBVPV9h8OYcK+ghwJJ+8VWEBbRVz9nAYttM/kxJgkBuoehtmqSHqfTjmqBtA6Qoe5hIJLQ3hCguzxuSCpPJMZ46WdoUnydSXcedJWCNzRCDw8TOfgUyOWQP4dV6PWvH1KSjR4sQS/XpUUX51EkE08T1nmgOGZJnOQs= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1604254500; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:In-reply-to:Date:Message-ID:MIME-Version:Content-Type; bh=iVTqEDJ/WxXmkh2cyz4LSbBLlc5Zr827fVJwNKNZe3w=; b=CeGUSt8ZYZ3uACFqbAUe4miW2GcZCKj86ysxgpT+78g+O2fbElbVaa6wzkj7vW0K Gf7pbopYMnt3VBaPtvnkFFubtXNfqhZ3uhw9CcwEnaVemplq1fK9GDIHSMR5MoknTXc ev8HcHHwfTq3bPDdbczMh1H5Imjz36N6q187EEWo= Received: from localhost (p4fd5aedc.dip0.t-ipconnect.de [79.213.174.220]) by mx.zohomail.com with SMTPS id 1604254498878824.3802285916483; Sun, 1 Nov 2020 10:14:58 -0800 (PST) References: <20201101133608.14148.65999@vcs0.savannah.gnu.org> <20201101133611.DEFE5209B1@vcs0.savannah.gnu.org> User-agent: mu4e 1.4.13; emacs 27.1 From: Ricardo Wurmus To: Carlo Holl , Christopher Baines Subject: Re: 06/15: gnu: Add ghc-lucid. In-reply-to: <20201101133611.DEFE5209B1@vcs0.savannah.gnu.org> X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Sun, 01 Nov 2020 19:16:51 +0100 Message-ID: <87mu01ymb0.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain X-ZohoMailClient: External Received-SPF: pass client-ip=136.143.188.51; envelope-from=rekado@elephly.net; helo=sender4-of-o51.zoho.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/11/01 13:13:00 X-ACL-Warn: Detected OS = Linux 3.11 and newer [fuzzy] X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=elephly.net header.s=zoho header.b=CeGUSt8Z; arc=pass (zohomail.com:s=zohoarc:i=1); dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -2.21 X-TUID: MbC2sQwgLnQ+ guix-commits@gnu.org writes: > cbaines pushed a commit to branch master > in repository guix. > > commit 27baf2a137e3438e1d0333b2de03b0627c8bdd67 > Author: Carlo Holl > AuthorDate: Sat Oct 31 19:02:27 2020 -0700 > > gnu: Add ghc-lucid. > > * gnu/packages/haskell-xyz.scm (ghc-lucid): New variable. > > Signed-off-by: Christopher Baines > > gnu/packages/haskell-xyz.scm | 42 ++++++++++++++++++++++++++++++++++++++++++ > 1 file changed, 42 insertions(+) > > diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm > index 21b0f2f..6a8c7ed 100644 > --- a/gnu/packages/haskell-xyz.scm > +++ b/gnu/packages/haskell-xyz.scm > @@ -7284,6 +7284,48 @@ Transformers\" available @uref{http://okmij.org/ftp/papers/LogicT.pdf, > online}.") > (license license:bsd-3))) > > +(define-public ghc-lucid > + (package > + (name "ghc-lucid") > + (version "2.9.12") LTSHaskell has this at version 2.9.11, not 2.9.12. We need to make sure that all Haskell packages remain compatible by keeping them all on the same LTSHaskell release. -- Ricardo