From unknown Sat Jun 21 10:24:34 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#30563 <30563@debbugs.gnu.org> To: bug#30563 <30563@debbugs.gnu.org> Subject: Status: [PATCH] add Agda. Reply-To: bug#30563 <30563@debbugs.gnu.org> Date: Sat, 21 Jun 2025 17:24:34 +0000 retitle 30563 [PATCH] add Agda. reassign 30563 guix-patches submitter 30563 Alex ter Weele severity 30563 normal tag 30563 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Tue Feb 20 20:23:24 2018 Received: (at submit) by debbugs.gnu.org; 21 Feb 2018 01:23:24 +0000 Received: from localhost ([127.0.0.1]:53425 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eoJ80-0003x2-Gj for submit@debbugs.gnu.org; Tue, 20 Feb 2018 20:23:24 -0500 Received: from eggs.gnu.org ([208.118.235.92]:35894) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eoJ7y-0003wp-Pg for submit@debbugs.gnu.org; Tue, 20 Feb 2018 20:23:23 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eoJ7s-0008K4-Rk for submit@debbugs.gnu.org; Tue, 20 Feb 2018 20:23:17 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:60894) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eoJ7s-0008Jp-NU for submit@debbugs.gnu.org; Tue, 20 Feb 2018 20:23:16 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:55093) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eoJ7r-0005VJ-Ls for guix-patches@gnu.org; Tue, 20 Feb 2018 20:23:16 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eoJ7m-0008HD-2T for guix-patches@gnu.org; Tue, 20 Feb 2018 20:23:13 -0500 Received: from mail-it0-x236.google.com ([2607:f8b0:4001:c0b::236]:38703) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eoJ7l-0008Gq-Te for guix-patches@gnu.org; Tue, 20 Feb 2018 20:23:10 -0500 Received: by mail-it0-x236.google.com with SMTP id l129so410007ita.3 for ; Tue, 20 Feb 2018 17:23:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:message-id:mime-version; bh=rL/8SR0JKm9PuIlR8YIfwxAUyxyO+IgFv/XF/CFnALQ=; b=GcZhOBM8mBK+Y3ujn6C5//CWAM2sKZrL4Q36Fl3nfJMKNTOF0oDIDe69zpRYrl8N56 riqwB9+1B60Zt5NCEDTBCh3OiiUTC8H3yGhy0aM3NwsgZnp+oW6YVlWIOZ7ObuE7CJtj 8MXcFE6XvCNsgsnIb5XslJYI7ANo35AjlCF7nv5kVc/GEyRMU38wqyUFdlrvBJTTQ+N1 Zi/ce25csVDlT+ubK8dmOsxAjw6wKkDbrApXDWJ5Q0/lnQzzAdeXuefTlW5WECTUSdRT sB3wpnydRxiImPTEHHi+ka3g1Rfx+/hFEKaoYd5waLNfgxWIqKv2qT9XEvVavOPqRjkm nenw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:mime-version; bh=rL/8SR0JKm9PuIlR8YIfwxAUyxyO+IgFv/XF/CFnALQ=; b=jYMMTYSbdq0A+bw8efe+opRnOgObUFk+ZoEF1RVYhRlmlXKtCI1evqKTu2a9UY0BRs BkpssBeMwRIAaxaG4P8ng1s5A4+f26a8B9h7dtoBFHRfN2BXbOIoEki56KHw6OYQjvXd gj1a8MuZWRD6s8JBTWvPKQycyybpl1I0zzwifTNhIP9RYZwByvToyQBuRCzMKb6IiJgO gj5alY26bwFCskg73hsobSBIHmC7XSK/CQqEAbuDp8WtjyC07cgup7H4yyBRa8KXcqcK AB/2hI8JLQ21YPnKU7HanXP8OxY+2SPETdn2xM4yhxONFOVDobeK71RburTN93QZ6kHR iIJA== X-Gm-Message-State: APf1xPC5sohBJ5IkNmrwRG1sIJS9+Ht3wTYpihU6SpTYhiVSpKa+4Bsp 797LoDBbexPxxYf8sfuP+NiBlXUj X-Google-Smtp-Source: AG47ELsvF8e+R0A6q3yG+37ZBUWxvkixbj4/0EUhXkGNkME4uWWCDzT7ciy4/iu4w29jDYC+sl1h5A== X-Received: by 10.36.131.3 with SMTP id d3mr1119533ite.149.1519176188576; Tue, 20 Feb 2018 17:23:08 -0800 (PST) Received: from librem (24-148-50-16.s5644.c3-0.mart-ubr1.chi-mart.il.cable.rcncustomer.com. [24.148.50.16]) by smtp.gmail.com with ESMTPSA id c15sm9950221itd.4.2018.02.20.17.23.06 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 20 Feb 2018 17:23:07 -0800 (PST) From: Alex ter Weele X-Google-Original-From: Alex ter Weele To: guix-patches@gnu.org Subject: [PATCH] add Agda. Date: Tue, 20 Feb 2018 19:23:06 -0600 Message-ID: <87bmgj9lvp.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) Hello, The following patch series fixes a few ghc- packages, adds another, and finally adds Agda. Following the example of Idris, I've placed it in its own file. I have not yet packaged the Emacs mode for Agda. That's next! From debbugs-submit-bounces@debbugs.gnu.org Tue Feb 20 20:36:51 2018 Received: (at 30563) by debbugs.gnu.org; 21 Feb 2018 01:36:51 +0000 Received: from localhost ([127.0.0.1]:53442 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eoJL0-0004IF-UL for submit@debbugs.gnu.org; Tue, 20 Feb 2018 20:36:51 -0500 Received: from mail-qk0-f178.google.com ([209.85.220.178]:41465) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eoJKz-0004I0-V0 for 30563@debbugs.gnu.org; Tue, 20 Feb 2018 20:36:50 -0500 Received: by mail-qk0-f178.google.com with SMTP id h129so88854qke.8 for <30563@debbugs.gnu.org>; Tue, 20 Feb 2018 17:36:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:in-reply-to:message-id:user-agent:mime-version :content-disposition; bh=pnIBerQ2W7y2TER3LglsJVW6AK+4yZN1JtC1SmBEPKY=; b=JkLXfFD7Z9hrxBGzCDLtJ/BPy1BiB/RZ35KSH2fSx0Pbi7rIq0tmMclnZEtwxaXwD6 N26VZ2+/M0EjeUQvd5b2zKHemStMbhfZJjY9SZOKwn4IDJ3jNmTmh2+UU1mwlUlROLQ7 cwlG8nT1RIfrAIuEMoia1i5UHcEfj+z4gsC2ac8aRc87Z+lkthWLGbQNNPFzCcPsBJO4 o+m8abuOBvk4GEiojQSjuFY+rHo4fKoh6WX4wbGZ+l0O3ZKghWTGsoMl3ekmU1MvQ5vf +adbhgpofiOCo1sQfwhZXff7wuQ+mV7mg5fyVoU3oESK3XOSs5TYUomCMHb0uUiG0CV9 +k5g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:in-reply-to:message-id :user-agent:mime-version:content-disposition; bh=pnIBerQ2W7y2TER3LglsJVW6AK+4yZN1JtC1SmBEPKY=; b=Tb6BAq2H04YM8hIHumNtaI1pfncm1O59TZtX52GnulVmv3TPzyCzxlkSttV7lFOLG0 A22YCuFEcT6HGDl97nRZgMt9fdAhuOMDg39Mz34y8d/hpsAFxkOv0FzhWp2E6SjQS2ZD ZlrdGigxgzdqsCg5LBwyE3XbgbeyYWIugXvgt9mbCNzEi/jiLKBq1uOjIEeT/2YtCIHb 3XNl45r0jr0UKEB3iAKTjLGuq3KHtX9E66IAThqiqi7cF4Ocd7GfHdEZX0ir2vQ5trrE TCgWSxmIF6YItY+fLTO79UMFTkbL+v7v9vt1qwJN0NxbmYmJ0jrsgwPnJuGbRXO9i5TJ UCDw== X-Gm-Message-State: APf1xPBSH4fBu5hf7YHDlAsoqZZk6tXprVQiRjJ8eTALwktW1KFnVrs2 /tR1NdjjWFwjxbzZ7xK+ta0AxWj/ X-Google-Smtp-Source: AG47ELvJogtNOyqNeU84Ji8S8Tid+vL0fZMMDX85vsAWGxNetR1S6DxHPSu8eVRGoh53TRhLWymwrA== X-Received: by 10.55.72.203 with SMTP id v194mr2797292qka.170.1519177004071; Tue, 20 Feb 2018 17:36:44 -0800 (PST) Received: from librem (24-148-50-16.s5644.c3-0.mart-ubr1.chi-mart.il.cable.rcncustomer.com. [24.148.50.16]) by smtp.gmail.com with ESMTPSA id d36sm19367865qtk.47.2018.02.20.17.36.42 for <30563@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 20 Feb 2018 17:36:42 -0800 (PST) From: Alex ter Weele X-Google-Original-From: Alex ter Weele To: bug#30563 <30563@debbugs.gnu.org> Subject: Re: Status: [PATCH] add Agda. Date: Tue, 20 Feb 2018 19:36:41 -0600 In-Reply-To: bug's message of "Wed\, 21 Feb 2018 01\:34\:59 +0000" Message-ID: <87zi4386om.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0001-gnu-ghc-edit-distance-Allow-newer-version-of-QuickCh.patch X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 30563 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) >From b107451e58413a1a86fc4fb7a5a9b650f234f73c Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Tue, 20 Feb 2018 18:49:41 -0600 Subject: [PATCH 1/4] gnu: ghc-edit-distance: Allow newer version of QuickCheck. * gnu/packages/haskell.scm (ghc-edit-distance)[arguments]: Allow running tests with newer version of QuickCheck. --- gnu/packages/haskell.scm | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index e62c405ab..737b7a4cd 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -5755,6 +5755,8 @@ representations of current time.") (sha256 (base32 "0jkca97zyv23yyilp3jydcrzxqhyk27swhzh82llvban5zp8b21y")))) (build-system haskell-build-system) + (arguments + `(#:configure-flags (list "--allow-newer=QuickCheck"))) (inputs `(("ghc-random" ,ghc-random) ("ghc-test-framework" ,ghc-test-framework) -- 2.16.1 From debbugs-submit-bounces@debbugs.gnu.org Tue Feb 20 20:44:09 2018 Received: (at 30563) by debbugs.gnu.org; 21 Feb 2018 01:44:09 +0000 Received: from localhost ([127.0.0.1]:53446 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eoJS5-0004Ta-Lu for submit@debbugs.gnu.org; Tue, 20 Feb 2018 20:44:09 -0500 Received: from mail-qk0-f174.google.com ([209.85.220.174]:45820) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eoJS4-0004TL-73 for 30563@debbugs.gnu.org; Tue, 20 Feb 2018 20:44:08 -0500 Received: by mail-qk0-f174.google.com with SMTP id g2so94327qkd.12 for <30563@debbugs.gnu.org>; Tue, 20 Feb 2018 17:44:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:in-reply-to:message-id:user-agent:mime-version :content-disposition; bh=nuEH7Bw25qB8ILSPXNKzINCkFPyo+B1cMl9Rmd5THa4=; b=isCNvnoavo0h5DrgPWGE4zKCZULfO1bZjrEZHVG5mXa3oK5ESzXEpnnrSRymfAgyFT a2Y5uSjc0Ibauxk5FEqYKsqqGQXI9ycemVMHtv89nkW76LAYdbDOF6cdeeMpb7FVUqw4 Gl6GrpM3mrG6ZeP4kvPendzFtzF+kKLzkdGTthQ5F/okrYOWhIZpZ2CeRPeqTMtKS8BO JzvpnrBr8nU38viKhEl/JA9hIcF+w0MT8zlRIcVLMONoh/DZF8puC1CHwdXWBYTTmJFq dGysXVV6F74oHIuvjGFgLWM0VSWH9k+CIyfrov2j4ynjevXjsnAqlFDoSvtgpGTzbpkl 5tdQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:in-reply-to:message-id :user-agent:mime-version:content-disposition; bh=nuEH7Bw25qB8ILSPXNKzINCkFPyo+B1cMl9Rmd5THa4=; b=bEsLh+VP5OYu2sDurGwlbzcdH+So0DACmohfX7Fok0HMqiSOkBn4LBahMWRt1moN2b d+oD7FXRiJqiWA4emyjV4E08uXoRW0fMunTvD4FETG3TT3CIZ1n6Sh/BUslIFc8auFmv 8K1ZYGSYhU/gU5Vh8qchvJNvyEZOTrsgiQgbZ6CE1ipCi8UP9VFuCTr5Ptun0xsA895/ qFzn1tTLJT4aq6/vVCdCMyvSSE03YvUzKxw9r+8XFZLH/bufwn0fp7isjA9x/EqSjsWK ohN68AFrXvVv7e8oKqoxXNYS+ivUey1UrO21XBGEMgkeYgEOYDVkn3iOGl4k3bkbSWws 3ebA== X-Gm-Message-State: APf1xPDIZUXcuGjjx0ILnmbIqqPQY6WLFdjQe/bPOniDj5DXrPrBBVXP GFsZKzziSWppxMEGT73T+MtcBZPj X-Google-Smtp-Source: AH8x224yVAeT8LxEur/q1N8msxyVuJH/XaooW6BAY1IQAKbz3fGVLCbKEPHfn5TTFhny2B4Nj36jZw== X-Received: by 10.55.210.195 with SMTP id f186mr2746781qkj.267.1519177442386; Tue, 20 Feb 2018 17:44:02 -0800 (PST) Received: from librem (24-148-50-16.s5644.c3-0.mart-ubr1.chi-mart.il.cable.rcncustomer.com. [24.148.50.16]) by smtp.gmail.com with ESMTPSA id p142sm5460021qke.4.2018.02.20.17.44.01 for <30563@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 20 Feb 2018 17:44:01 -0800 (PST) From: Alex ter Weele X-Google-Original-From: Alex ter Weele To: bug#30563 <30563@debbugs.gnu.org> Subject: Re: Status: [PATCH] add Agda. Date: Tue, 20 Feb 2018 19:44:00 -0600 In-Reply-To: bug's message of "Wed\, 21 Feb 2018 01\:34\:59 +0000" Message-ID: <87d10z86cf.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0002-gnu-ghc-hashtables-Allow-newer-version-of-vector.patch X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 30563 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) >From 4e20edfb690f8d2f7d0652058d8fcff5927102a2 Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Tue, 20 Feb 2018 18:51:16 -0600 Subject: [PATCH 2/4] gnu: ghc-hashtables: Allow newer version of vector. * gnu/packages/haskell.scm (ghc-hashtables)[arguments]: Allow newer version of vector. --- gnu/packages/haskell.scm | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 737b7a4cd..dbb9ebc80 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -7360,6 +7360,8 @@ Haskell, using gnuplot for rendering.") (sha256 (base32 "1b6w9xznk42732vpd8ili60k12yq190xnajgga0iwbdpyg424lgg")))) (build-system haskell-build-system) + (arguments + `(#:configure-flags (list "--allow-newer=vector"))) (inputs `(("ghc-hashable" ,ghc-hashable) ("ghc-primitive" ,ghc-primitive) -- 2.16.1 From debbugs-submit-bounces@debbugs.gnu.org Tue Feb 20 20:44:35 2018 Received: (at 30563) by debbugs.gnu.org; 21 Feb 2018 01:44:35 +0000 Received: from localhost ([127.0.0.1]:53449 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eoJSU-0004UD-Ts for submit@debbugs.gnu.org; Tue, 20 Feb 2018 20:44:35 -0500 Received: from mail-qt0-f174.google.com ([209.85.216.174]:45003) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eoJST-0004U0-9M for 30563@debbugs.gnu.org; Tue, 20 Feb 2018 20:44:34 -0500 Received: by mail-qt0-f174.google.com with SMTP id g60so100455qtd.11 for <30563@debbugs.gnu.org>; Tue, 20 Feb 2018 17:44:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:in-reply-to:message-id:user-agent:mime-version :content-disposition; bh=HcDBD4UCe1oOTqLldpWUAv9BeOR8iejJfgHxv4ZlSks=; b=iAczcSlJ5Lj/RxbgnNCDWXjVva2KZN0Wo1MqmotzixdlDLp4C/1ITokxaMK4TdkjBL 8tPHIwDge1EM3sJ92TBnjFl2yuRCIyAT6oMgwF4n9rth9OgsBI7kDu8RF7a4KdkabVGN WWBlvUXeJ0ROdzA0Prz6HPg6b8NHbJtvnFtq5Woz+P6j8njPiJmKwuBSCbq0yfvFoCw8 JzOR8CxlgPsa3gXs+Bsh+SNVB/kDa/Y0PcPsImPSY+waHVdc6IRLYdpiDNfC0Y0ASlF9 CDcQLFADNLwU0qhUsYa2NiORNdqkJ2GOgePl/GE679TwKHFav6l0fq9iKsTnAtJHlB/P E/oQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:in-reply-to:message-id :user-agent:mime-version:content-disposition; bh=HcDBD4UCe1oOTqLldpWUAv9BeOR8iejJfgHxv4ZlSks=; b=BByQX2/w5Vn3bRwR9ekCfthtp9fcP4BvELdlpt2a/ExMe9tcrjPB0hGvsc/B0tabwm REhcODY07Bx54tXlttQNnI1qyPqfHBzXaOBFBbUMtgxue+13EozhbDS0duguqy6N1gEj wSPnp7s6K484MV1GZe/ZRxrPRaeMKZxQYnJCmXwkamoJ1Dq5w70+2svv0FVLx3+3fIDV Yb0Gl0YcdFBlK74Lt4xHJTu3fd+xFwlI3+nLC5CuOHBnfnzH5Rc9pvdZm+zacvcp6CiN flUvrJh+T9cnHN4q+5GuCxHUp1RnGR/5zNbEwhAKux/gOiQYnIgik9iHKkaNZpyX0riE lF9Q== X-Gm-Message-State: APf1xPDNJa0CuDb4Ps9U2Ikd4ogkKep7eK3cmCDRccfvnMn0zxLQnLLA VkiQNkE1jDGHYgteMrF00e0imug+ X-Google-Smtp-Source: AH8x2278pRmn3vUPD4ZEpFuB54m3/8rH6aH+pZ/s7l5q5gwuSbNPKL0ckC2447f03PZ22LKekBXKbg== X-Received: by 10.200.42.15 with SMTP id k15mr2826908qtk.101.1519177467651; Tue, 20 Feb 2018 17:44:27 -0800 (PST) Received: from librem (24-148-50-16.s5644.c3-0.mart-ubr1.chi-mart.il.cable.rcncustomer.com. [24.148.50.16]) by smtp.gmail.com with ESMTPSA id s81sm19225979qkl.63.2018.02.20.17.44.26 for <30563@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 20 Feb 2018 17:44:26 -0800 (PST) From: Alex ter Weele X-Google-Original-From: Alex ter Weele To: bug#30563 <30563@debbugs.gnu.org> Subject: Re: Status: [PATCH] add Agda. Date: Tue, 20 Feb 2018 19:44:26 -0600 In-Reply-To: bug's message of "Wed\, 21 Feb 2018 01\:34\:59 +0000" Message-ID: <878tbn86bp.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0003-gnu-Add-ghc-uri-encode.patch X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 30563 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) >From 33a25f9a810b791099b89811a65590c62d6167be Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Tue, 20 Feb 2018 18:53:26 -0600 Subject: [PATCH 3/4] gnu: Add ghc-uri-encode. * gnu/packages/haskell-web.scm (ghc-uri-encode): New variable. --- gnu/packages/haskell-web.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm index a24ee4b7c..aec69deb1 100644 --- a/gnu/packages/haskell-web.scm +++ b/gnu/packages/haskell-web.scm @@ -866,3 +866,28 @@ of a JSON value into a @code{Data.Aeson.Value}.") (description "HTTP multipart split out of the cgi package, for Haskell.") (license license:bsd-3))) + +(define-public ghc-uri-encode + (package + (name "ghc-uri-encode") + (version "1.5.0.5") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/uri-encode/uri-encode-" + version + ".tar.gz")) + (sha256 + (base32 + "11miwb5vvnn17m92ykz1pzg9x6s8fbpz3mmsyqs2s4b3mn55haz8")))) + (build-system haskell-build-system) + (inputs + `(("ghc-text" ,ghc-text) + ("ghc-utf8-string" ,ghc-utf8-string) + ("ghc-network-uri" ,ghc-network-uri))) + (home-page + "http://hackage.haskell.org/package/uri-encode") + (synopsis "Unicode aware uri-encoding") + (description "Unicode aware uri-encoding.") + (license license:bsd-3))) -- 2.16.1 From debbugs-submit-bounces@debbugs.gnu.org Tue Feb 20 20:44:51 2018 Received: (at 30563) by debbugs.gnu.org; 21 Feb 2018 01:44:51 +0000 Received: from localhost ([127.0.0.1]:53452 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eoJSl-0004Uo-5X for submit@debbugs.gnu.org; Tue, 20 Feb 2018 20:44:51 -0500 Received: from mail-qk0-f172.google.com ([209.85.220.172]:38276) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eoJSg-0004UR-Gt for 30563@debbugs.gnu.org; Tue, 20 Feb 2018 20:44:49 -0500 Received: by mail-qk0-f172.google.com with SMTP id s198so114551qke.5 for <30563@debbugs.gnu.org>; Tue, 20 Feb 2018 17:44:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:in-reply-to:message-id:user-agent:mime-version :content-disposition:content-transfer-encoding; bh=LhaSu8oGB27WkpWE1EkOyP34pvJ3rpaDmWkmuL/L3Uo=; b=ekNU5/mHN0Xl2F/xLeYvSdQeSSaPkwhsWOyzi1Y/tzzvC5dP2r1e0jd7sTW7Ikqr7y 5z/WnfDJaRkp03eWIitXaAYy8U4EJuyu4g6hI75hemMMlvjOq5+R04RO+ZLsO+MBOdrH sv98QVqyHDopBBCgJCBjdjkrYfrYaSC0KyGV9WzaEuEABy6Gqs1DND6Oj3pvOPFMXe5q ni61BjMluSxGjw0xbBI1XO60e8thBLvqM+y2WLEnkx/vY1Jm9totkeUDPMdydAs5Wa7A BSQPgpY6886QTRYm7LHi8FfvTzHoFJ+F/KQXllmF9N8SAm50BpDl2ymWpzovQaaPkR/7 K62Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:in-reply-to:message-id :user-agent:mime-version:content-disposition :content-transfer-encoding; bh=LhaSu8oGB27WkpWE1EkOyP34pvJ3rpaDmWkmuL/L3Uo=; b=hMrFVVGIar91y0f7R7T8TeJPf0N1qNkeplZZGf/9aMNK+Y04+uhXnBaXvNkl9H8M2Q aBPGTAAncbGmmC54bAsLBb5thNgWz/O8i34qWYjshQo8zb6ZPgrWiOc3E26qC4j1wU4F vczPds8/OlKNxmH0HTqPg/bAc1J/ACCdwmcNeQuAFM16eTiEZh0cQ4mq54FAND2URNF3 cYPMa2O0uJzC/LEqYwxg2C3axUvI8Ic4eSXgTM+81YdR8n6Y1PBN5Zz8II5zWZpWg4C1 gL3qi+6ppgEi/dm2Q0aILxRpezkhbaOKrwfQ31WyvEJ5yvTbk1yJUpDxDn283Jr/qmaz P6Sw== X-Gm-Message-State: APf1xPBW7s50OFwz3jnujEweHEX9UrAttHppnss82p2x9QeIUAxb+Z8E b46qURAk63KXbJjYz0QkHFIwHTdR X-Google-Smtp-Source: AH8x2241FUzmW+W3xqV6bCd8Wwf4sIDNaTcHIlBQrJxfi8eWc6bsZw073o3X8896pF+P022NOZzY3Q== X-Received: by 10.55.71.201 with SMTP id u192mr2590431qka.357.1519177480616; Tue, 20 Feb 2018 17:44:40 -0800 (PST) Received: from librem (24-148-50-16.s5644.c3-0.mart-ubr1.chi-mart.il.cable.rcncustomer.com. [24.148.50.16]) by smtp.gmail.com with ESMTPSA id z22sm18298566qti.75.2018.02.20.17.44.39 for <30563@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 20 Feb 2018 17:44:39 -0800 (PST) From: Alex ter Weele X-Google-Original-From: Alex ter Weele To: bug#30563 <30563@debbugs.gnu.org> Subject: Re: Status: [PATCH] add Agda. Date: Tue, 20 Feb 2018 19:44:39 -0600 In-Reply-To: bug's message of "Wed\, 21 Feb 2018 01\:34\:59 +0000" Message-ID: <874lmb86bc.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/x-patch; charset=utf-8 Content-Disposition: inline; filename=0004-gnu-Add-agda.patch Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 30563 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) >From 4d0f3020ee8c9430272fd78dbb970ec38978c4a8 Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Tue, 20 Feb 2018 18:55:06 -0600 Subject: [PATCH 4/4] gnu: Add agda. * gnu/packages/agda.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add adga.scm. --- gnu/local.mk | 1 + gnu/packages/agda.scm | 86 +++++++++++++++++++++++++++++++++++++++++++++++= ++++ 2 files changed, 87 insertions(+) create mode 100644 gnu/packages/agda.scm diff --git a/gnu/local.mk b/gnu/local.mk index e61cb9f44..eb044989e 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -52,6 +52,7 @@ GNU_SYSTEM_MODULES =3D \ %D%/packages/acl.scm \ %D%/packages/admin.scm \ %D%/packages/adns.scm \ + %D%/packages/agda.scm \ %D%/packages/algebra.scm \ %D%/packages/aidc.scm \ %D%/packages/android.scm \ diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm new file mode 100644 index 000000000..42a7d56db --- /dev/null +++ b/gnu/packages/agda.scm @@ -0,0 +1,86 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright =C2=A9 2018 Alex ter Weele +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or (at +;;; your option) any later version. +;;; +;;; GNU Guix is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;;; GNU General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with GNU Guix. If not, see . + +(define-module (gnu packages agda) + #:use-module (gnu packages haskell) + #:use-module (gnu packages haskell-check) + #:use-module (gnu packages haskell-web) + #:use-module (guix build-system haskell) + #:use-module (guix build-system trivial) + #:use-module (guix download) + #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix packages)) + +(define-public agda + (package + (name "agda") + (version "2.5.3") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/Agda/Agda-" + version + ".tar.gz")) + (sha256 + (base32 + "0r80vw7vnvbgq47y50v050malv7zvv2p2kg6f47i04r0b2ix855a")))) + (build-system haskell-build-system) + (inputs + `(("cpphs" ,cpphs) + ("ghc-alex" ,ghc-alex) + ("ghc-async" ,ghc-async) + ("ghc-blaze-html" ,ghc-blaze-html) + ("ghc-boxes" ,ghc-boxes) + ("ghc-data-hash" ,ghc-data-hash) + ("ghc-edisoncore" ,ghc-edisoncore) + ("ghc-edit-distance" ,ghc-edit-distance) + ("ghc-equivalence" ,ghc-equivalence) + ("ghc-geniplate-mirror" ,ghc-geniplate-mirror) + ("ghc-gitrev" ,ghc-gitrev) + ("ghc-happy" ,ghc-happy) + ("ghc-hashable" ,ghc-hashable) + ("ghc-hashtables" ,ghc-hashtables) + ("ghc-ieee754" ,ghc-ieee754) + ("ghc-monadplus" ,ghc-monadplus) + ("ghc-mtl" ,ghc-mtl) + ("ghc-murmur-hash" ,ghc-murmur-hash) + ("ghc-uri-encode" ,ghc-uri-encode) + ("ghc-parallel" ,ghc-parallel) + ("ghc-regex-tdfa" ,ghc-regex-tdfa) + ("ghc-stm" ,ghc-stm) + ("ghc-strict" ,ghc-strict) + ("ghc-text" ,ghc-text) + ("ghc-unordered-containers" ,ghc-unordered-containers) + ("ghc-zlib" ,ghc-zlib))) + (home-page + "http://wiki.portal.chalmers.se/agda/") + (synopsis + "Dependently typed functional programming language and proof assistan= t") + (description + "Agda is a dependently typed functional programming language: It has +inductive families, which are similar to Haskell's GADTs, but they can be +indexed by values and not just types. It also has parameterised modules, +mixfix operators, Unicode characters, and an interactive Emacs interface (= the +type checker can assist in the development of your code). Agda is also a +proof assistant: It is an interactive system for writing and checking proo= fs. +Agda is based on intuitionistic type theory, a foundational system for +constructive mathematics developed by the Swedish logician Per Martin-L=C3= =B6f. It +has many similarities with other proof assistants based on dependent types, +such as Coq, Epigram and NuPRL.") + (license (list license:expat license:bsd-3)))) --=20 2.16.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 25 19:46:57 2018 Received: (at 30563-done) by debbugs.gnu.org; 26 Feb 2018 00:46:57 +0000 Received: from localhost ([127.0.0.1]:60768 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eq6wS-00006n-Ah for submit@debbugs.gnu.org; Sun, 25 Feb 2018 19:46:57 -0500 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:50089) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eq6wQ-00006f-Qf for 30563-done@debbugs.gnu.org; Sun, 25 Feb 2018 19:46:55 -0500 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.nyi.internal (Postfix) with ESMTP id 72CB720D65; Sun, 25 Feb 2018 19:46:54 -0500 (EST) Received: from frontend2 ([10.202.2.161]) by compute5.internal (MEProxy); Sun, 25 Feb 2018 19:46:54 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.com; h= content-type:date:from:in-reply-to:message-id:mime-version :references:subject:to:x-me-sender:x-me-sender:x-sasl-enc; s= fm2; bh=DgjQNOuV1VJA93/yIn2t4gTxJ8bAPCDS5q1wWsJQ1As=; b=GfneRi6A Upt1jYOGAWBol0llXlLZ0TOHA/UtwasIRERiPkIRfFP1bqzGhsQwMu0yuwnpRUbE r0zKepp68dkHdUIhsdXuzmQoGGy1dcFRrxNLzUlvPhk9L0oeDQ8pPujVRM0I8jLf xPKL8qWLRQX8WrYYbVekO9kb/Ty/b1E+uhq2Gzd0bUjjxOM/Zf49Om5Cs0P/slLa RKcb/dtvTISUzc3UOLZ/IpiZ9yW83c5jHQaCv1uEwf4ToQpJ3VCYuOk4ars4Xx6J Q9RL7iQinFTwsGzwWD3KjQC4WrBx7E9Sfff3M5MGQcerzzCqrpx+ga+xStmlJH4K rqgJSV2mxzdHTQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc; s=fm2; bh=DgjQNOuV1VJA93/yIn2t4gTxJ8bAP CDS5q1wWsJQ1As=; b=WxnZSSvIyLvUBDulWJNRKhxe/XY6sstW/ayQ4YeSj0a7b aYlVmza//fOaD3Lysh4Fgo8Jqu7ZlRDUDy1uXt0oJMUcQA85tt5+zK+Yu4G2mgxq H/wEoMKVxCNl/wXbGmgWFMxEEVLePp07A9rIlWBMPdG9u775/NG+FsbRRJJRyvPL z4kdslpZFGob3oKJHivT2uentVl0EP8A5B8c2rMC3X8JUyLsulxW60OGSDCHhJXF HaKxyVCAcdr08Y3zbtSOS4MevJ/PQSnzmjkwFhUiAuKgrmAjaCsxFt2B7q8qVD4H /mks7NJr4yu/HbsnvXQ5mpW+Kj/rpR3Vo0fY5WUNg== X-ME-Sender: Received: from localhost (cm-84.214.173.174.getinternet.no [84.214.173.174]) by mail.messagingengine.com (Postfix) with ESMTPA id EDED1246A3; Sun, 25 Feb 2018 19:46:53 -0500 (EST) From: Marius Bakke To: Alex ter Weele , 30563-done@debbugs.gnu.org Subject: Re: [bug#30563] [PATCH] add Agda. In-Reply-To: <87bmgj9lvp.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> References: <87bmgj9lvp.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> User-Agent: Notmuch/0.26 (https://notmuchmail.org) Emacs/25.3.1 (x86_64-pc-linux-gnu) Date: Mon, 26 Feb 2018 01:46:52 +0100 Message-ID: <87r2p8wpab.fsf@fastmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 30563-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) --=-=-= Content-Type: text/plain Alex ter Weele writes: > Hello, > > The following patch series fixes a few ghc- packages, adds another, and > finally adds Agda. Following the example of Idris, I've placed it in its > own file. Thank you! I added a comment about the Agda licenses and pushed the series as acc55e836..f61682e7e. > I have not yet packaged the Emacs mode for Agda. That's next! :-) --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAlqTWPwACgkQoqBt8qM6 VPp4IwgAwktzm9VO8ufZaiaKaokTExo4uTSIe3XJXY9yQWX+rkWMAAubAXCBl3zx QlqGUL81dmhbK5/04AI95HD9GbXgPB45RH668peHN7aqVE3xItca97ooAuAdsgms hLRsKoeyhB9jeUf7vNqTdWE3AaPCkqwtxsAj8fWZUIyOISbkERjmKM9OrCmfmte5 6yEouaI45VD/n2JBE+EEb4V22qzMly+cDP+qgq0G/xr0MDRaJJXbKsQ5T1wdMioV Yb5maNzdbWLD79MWIE9pZZzdRWvj8QApe0BVrsb8LmCXQvlAUrPG700ujES2jHVP 0o5IaX81hA3/SW/WAaVrJ8eapw9uRg== =kgBc -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Jun 21 10:24:34 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 26 Mar 2018 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator