From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Re: bug#33844: Rename ghc-pandoc to pandoc Date: Wed, 26 Feb 2020 12:57:02 +0100 Message-ID: <87wo89imsx.fsf@elephly.net> References: <9251b0f558ee90be48420e76d7c4d326@riseup.net> <878skpacih.fsf@ambrevar.xyz> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:38873) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j6vJZ-0007NU-BE for guix-devel@gnu.org; Wed, 26 Feb 2020 06:57:22 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j6vJY-0006yq-Aj for guix-devel@gnu.org; Wed, 26 Feb 2020 06:57:21 -0500 Received: from sender4-of-o51.zoho.com ([136.143.188.51]:21101) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1j6vJX-0006tY-UT for guix-devel@gnu.org; Wed, 26 Feb 2020 06:57:20 -0500 In-reply-to: <878skpacih.fsf@ambrevar.xyz> 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-mx.org@gnu.org Sender: "Guix-devel" To: Pierre Neidhardt Cc: 33844@debbugs.gnu.org, guix-devel@gnu.org Pierre Neidhardt writes: > swedebugia@riseup.net writes: > >> Reason: it is used standalone to convert between formats. > > I agree. What do other people think? I agree. We should also rename all uses of ghc-pandoc in the same patch. -- Ricardo