From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Re: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0") Date: Wed, 07 Mar 2018 08:18:59 +0100 Message-ID: <87zi3kl5ek.fsf@elephly.net> References: <877eqp7pql.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> <87o9k0jwdj.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:37688) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1etTMC-0000y6-0T for guix-devel@gnu.org; Wed, 07 Mar 2018 02:19:24 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1etTM8-0000I3-29 for guix-devel@gnu.org; Wed, 07 Mar 2018 02:19:23 -0500 Received: from sender-of-o51.zoho.com ([135.84.80.216]:21129) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1etTM7-0000Hg-Qf for guix-devel@gnu.org; Wed, 07 Mar 2018 02:19:19 -0500 In-reply-to: <87o9k0jwdj.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Alex ter Weele Cc: guix-devel@gnu.org Hi Alex, > On guix-devel=C2=B9, I had given an incomplete patch to update idris to > 1.2.0. After further investigation, I concluded this was the wrong > approach because our current version of GHC is 8.0.2, so the right > version of LTS Haskell to follow is https://www.stackage.org/lts-9.4, > which includes Idris 1.0, not 1.2. Thank you! Could you please send a patch per modified package instead of a copy of the module? -- Ricardo GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC https://elephly.net