From patchwork Sun Sep 22 11:17:16 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Josselin Poiret X-Patchwork-Id: 31328 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id AC0F827BBE9; Sun, 22 Sep 2024 12:18:06 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-4.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,FROM_SUSPICIOUS_NTLD,MAILING_LIST_MULTI,PDS_OTHER_BAD_TLD, RCVD_IN_VALIDITY_CERTIFIED,RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE, SPF_HELO_PASS autolearn=unavailable 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 A231D27BBE2 for ; Sun, 22 Sep 2024 12:18:04 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ssKb0-0006Og-Tm; Sun, 22 Sep 2024 07:17:42 -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 ) id 1ssKaz-0006OE-Pq for guix-patches@gnu.org; Sun, 22 Sep 2024 07:17:41 -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 ) id 1ssKaz-00062h-Gw for guix-patches@gnu.org; Sun, 22 Sep 2024 07:17:41 -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=qi90P0hkqstH0QmOU9JkUCGli7HWmhdtMinpts7lWs8=; b=vRDpUnsJwefvGF5iawmWhqx5vHwMhCX4h0EU8+jZOQeh7v6teBLUCpV1QpXmhncJIPqvx6GFzdsjw2uHZsVU4YitCRxrhumM13ToJEQb8exeAEOBGqkga6Vhm3ShI61jLT3rfpQ5TC84xXCMtQ4VLWsQE7HH6l0ZD+p+XvqfARY5EuYrJPq4CuEgcoYaR+rVms7tvPGwcE9bPKhNnx9T8m92z8rmboLKPDZIgcj2vKjVI4TXPp2ep5QZX0aZa6NQT7op8sejqD9VxJagFE/fRONuf+HCYOjkCjgYD4L2KNggos7UBjWtTH4u/8IPySl/NMwdsiQOfZHfTl68y5vuyw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ssKbK-0003mC-IC for guix-patches@gnu.org; Sun, 22 Sep 2024 07:18:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 1/5] gnu: agda: Update to 2.7.0.1. Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret Received: via spool by 73421-submit@debbugs.gnu.org id=B73421.172700386814448 (code B ref 73421); Sun, 22 Sep 2024 11:18:02 +0000 Received: (at 73421) by debbugs.gnu.org; 22 Sep 2024 11:17:48 +0000 Received: from localhost ([127.0.0.1]:40919 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKb6-0003ks-GI for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:48 -0400 Received: from jpoiret.xyz ([206.189.101.64]:52914) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKb4-0003kj-W8 for 73421@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:47 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 2B0C218543C; Sun, 22 Sep 2024 11:17:22 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003843; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=qi90P0hkqstH0QmOU9JkUCGli7HWmhdtMinpts7lWs8=; b=UckZ9M9icO2NXoLw15OZMyU/+XnBPMilzgZgpomnFenRMoP4qES+zWBxbPZBotd2QDpxiQ SFpCE83vDwil0ktqsMp1wQz8b1TIOYiNu58R+4XcDnaSaWTR1SV7dkoPCQAlrbQp5CxLtR ohpCX5/9EGuuxo/GBDIw3NYJ+k+XDe+A7Na0tdiYMgmAzckHqYIVmve2CCg7OHkdJMpKox 1Tjl1/5FpRc6mrlrzTOfgocCu138JcG04qxaShYayji6z/uZDV7Li/tvE8P7cQhj91msqk xVtmNiRwe6IGyCn3u99XoRd9V014YQbefgVCV9QmnGDkYviDpB0aJ4bxu9M4cg== Date: Sun, 22 Sep 2024 13:17:16 +0200 Message-ID: <9a7675b251ec323f67110e8e47ef60c338503668.1727003093.git.dev@jpoiret.xyz> In-Reply-To: References: MIME-Version: 1.0 X-Spamd-Bar: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: Josselin Poiret X-ACL-Warn: , Josselin Poiret via Guix-patches X-Patchwork-Original-From: Josselin Poiret via Guix-patches via From: Josselin Poiret 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 From: Josselin Poiret * gnu/packages/agda.scm (agda): Update to 2.7.0.1. Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837 --- gnu/packages/agda.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 4afe583b2e..0e38d4e2d8 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -44,7 +44,7 @@ (define-module (gnu packages agda) (define-public agda (package (name "agda") - (version "2.6.4") + (version "2.7.0.1") (source (origin (method git-fetch) @@ -53,7 +53,7 @@ (define-public agda (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "0n4avd58j45rdcmnwgrmz5s0ril0z4n2z711mwwbahl50f7359ky")) + (base32 "1dh9fi8lwjv9rk6zik2bwjgqln0f0d36m3hm9m3zmmk4fby4rsi2")) (patches (search-patches "agda-libdirs-env-variable.patch" "agda-use-sphinx-5.patch")))) (build-system haskell-build-system) @@ -76,6 +76,7 @@ (define-public agda ghc-murmur-hash ghc-parallel ghc-peano + ghc-pqueue ghc-regex-tdfa ghc-split ghc-strict From patchwork Sun Sep 22 11:17:17 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Josselin Poiret X-Patchwork-Id: 31329 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 868AD27BBEA; Sun, 22 Sep 2024 12:18:10 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-4.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,FROM_SUSPICIOUS_NTLD,MAILING_LIST_MULTI,PDS_OTHER_BAD_TLD, RCVD_IN_VALIDITY_CERTIFIED,RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE, SPF_HELO_PASS 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 4CD3327BBE2 for ; Sun, 22 Sep 2024 12:18:10 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ssKb1-0006P2-76; Sun, 22 Sep 2024 07:17:43 -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 ) id 1ssKb0-0006OL-2e for guix-patches@gnu.org; Sun, 22 Sep 2024 07:17:42 -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 ) id 1ssKaz-00062i-PJ for guix-patches@gnu.org; Sun, 22 Sep 2024 07:17:41 -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=n7fQ/TBWkOOLQjewQtGLMCQpqyH85Pf55U9IMyYJ+TI=; b=NHtdZ57XoaKmrKkGa4ywJjUP1W8VrkicwCmtv3Jkwg8IJMn/WJlziBxqqmQR+ZmTTkR4QZm6Nb8+rbSF0Tkc9qqI0Xytf/s91gL2J1sffEFykAFUhJqeAo3N01LhdR35rWSLWYY13tvn+OaaH1YIVuHJ36MjCQDgAkNxKPclovHltSYULQxO/y+P2FAdnHVjIpDfBWVfj5tcRTcpj/WvOCIqWU+ul/kzV1aSKxNNxWBL9FkcfT9DxRhZG605CawRm3WSjA0/u8zgQ7Ds+9OLivby4Z/uePD4LMLnOAE5FfsPO220rM0d+jcCgyxzsxNnvlzsLSTMgzVSWFbM6CBRmQ==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ssKbK-0003mJ-Vp for guix-patches@gnu.org; Sun, 22 Sep 2024 07:18:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 2/5] gnu: agda-stdlib: Update to 2.1.13 Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret Received: via spool by 73421-submit@debbugs.gnu.org id=B73421.172700387314473 (code B ref 73421); Sun, 22 Sep 2024 11:18:02 +0000 Received: (at 73421) by debbugs.gnu.org; 22 Sep 2024 11:17:53 +0000 Received: from localhost ([127.0.0.1]:40925 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKbA-0003lL-Sb for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:53 -0400 Received: from jpoiret.xyz ([206.189.101.64]:52986) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKb6-0003kr-59 for 73421@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:48 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id C9376185470; Sun, 22 Sep 2024 11:17:25 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003846; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=n7fQ/TBWkOOLQjewQtGLMCQpqyH85Pf55U9IMyYJ+TI=; b=JI/l4X6O89Blma4XwyKDVQ7v2BwuPO6SAHRkuPA1h0qMhnNQ+yYp695YsjviLL7mKMEStI VNEI5oqctzvBV2k/DvEiIRyeKoKkf5PhDNUaEimVKdZLHL1gsO6vP0rFM8igpVP47f+Ljn gEZy5f1zFgKYXwdFg7i+lkh5hjS4FgIX2tVGgE2IfqswisHcUoCU8efkbPx4lNYrmyACAj KrmOzcoGQlxZAmDBTYPjg/4iYSxiWb9uZi9fuyoGsnbddTUY/yha1v5cnOdfIpcdhyTaOB KoLBpSoSJLClCPbZ2yQxQKdiHEPou95RMN7x8zA6y32FCmuNPl6Y5zoMBbA2IQ== Date: Sun, 22 Sep 2024 13:17:17 +0200 Message-ID: <2037d8162f04a0e4acbaad79909c6cf81170b166.1727003093.git.dev@jpoiret.xyz> In-Reply-To: References: MIME-Version: 1.0 X-Spamd-Bar: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: Josselin Poiret X-ACL-Warn: , Josselin Poiret via Guix-patches X-Patchwork-Original-From: Josselin Poiret via Guix-patches via From: Josselin Poiret 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 From: Josselin Poiret * gnu/packages/agda.scm (agda-stdlib): Update to 2.1.1. Change-Id: I0609d67730462edf69a98315e4ef187e8a516cbf --- gnu/packages/agda.scm | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 0e38d4e2d8..8df3354243 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -200,7 +200,7 @@ (define-public agda-ial (define-public agda-stdlib (package (name "agda-stdlib") - (version "1.7.3") + (version "2.1.1") (source (origin (method git-fetch) (uri (git-reference @@ -209,11 +209,11 @@ (define-public agda-stdlib (file-name (git-file-name name version)) (sha256 (base32 - "0y6rns64rrkh8hw7mamcf6797329pi4ravpak5zijpnkzdagmlmy")))) + "1n742qvlxaj4dprnknvzrr876af6yjfwa4ps1dr4v1h814sg0xz0")))) (build-system agda-build-system) (arguments (list - #:plan '(("^\\./README.agda$" "-i.")) + #:plan '(("^\\./doc/README.agda$" "-idoc/")) #:gnu-and-haskell? #t #:phases #~(modify-phases %standard-phases @@ -221,7 +221,8 @@ (define-public agda-stdlib (lambda* (#:key inputs native-inputs #:allow-other-keys) (invoke (search-input-file (or native-inputs inputs) "/bin/runhaskell") - "GenerateEverything.hs")))))) + "GenerateEverything.hs" + "--out-dir" "doc/")))))) (native-inputs (list ghc-filemanip)) (synopsis "The Agda Standard Library") (description From patchwork Sun Sep 22 11:17:18 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Josselin Poiret X-Patchwork-Id: 31330 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 519DB27BBEA; Sun, 22 Sep 2024 12:18:16 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-4.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,FROM_SUSPICIOUS_NTLD,MAILING_LIST_MULTI,PDS_OTHER_BAD_TLD, RCVD_IN_VALIDITY_CERTIFIED,RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE, SPF_HELO_PASS 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 A2D4327BBE9 for ; Sun, 22 Sep 2024 12:18:15 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ssKb2-0006PG-9V; Sun, 22 Sep 2024 07:17:44 -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 ) id 1ssKb0-0006ON-7N for guix-patches@gnu.org; Sun, 22 Sep 2024 07:17:42 -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 ) id 1ssKaz-00062s-UW for guix-patches@gnu.org; Sun, 22 Sep 2024 07:17:41 -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=tXbA/ezzZV48qVXBwYuXglGS1X0VaI7SQ9iZ3rBxcTw=; b=Rb+YNqoWXdSlCZpQBjdQDm59KxF9VFtr+knNNMpvDgKrOKcMy8uto5CFu77754q037c1xq5f0b4Jrt01mHWNPn72uyvjpzBmGDogfFqOfmhwVRCLhdchPVJSr4GZTSkv6/T37Z9/pSFp37zhbOmWfJ5G9lyG0Jl2WuijxOQnC6ub4nrKpgVJnva3rsHoy83ImSu/f20AqdkiqepMJzM5dxs3s3HsJa/bmPsdKNtGRRztgejrYmPDZoO+Mu0tiV3tWFNRCdidMcV9j8AmIkK4gD2+PFFczLuXvrbY903PK53JBzNWPbjiaHDK0JOfq1MN16SEm5YFKWzV7w8EHm9MXA==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ssKbL-0003mR-DX for guix-patches@gnu.org; Sun, 22 Sep 2024 07:18:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 3/5] gnu: agda-categories: Update to 0.2.0. Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:18:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret Received: via spool by 73421-submit@debbugs.gnu.org id=B73421.172700387414486 (code B ref 73421); Sun, 22 Sep 2024 11:18:03 +0000 Received: (at 73421) by debbugs.gnu.org; 22 Sep 2024 11:17:54 +0000 Received: from localhost ([127.0.0.1]:40929 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKbB-0003lN-8q for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:53 -0400 Received: from jpoiret.xyz ([206.189.101.64]:53054) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKb7-0003l5-Tn for 73421@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:50 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 709E318543C; Sun, 22 Sep 2024 11:17:27 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003847; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=tXbA/ezzZV48qVXBwYuXglGS1X0VaI7SQ9iZ3rBxcTw=; b=Ak5/opomsuvdCygaxrJH510yxARR7NQ05FIYlyOgtxf0H5Wj0vT/ydwBWoDUhpy+Up3z9D kr2lmCVJoyjK21j4EvlGSBvunL/LIzVivMC3578Y89kqJ15W+zt5OgaTPWfrZMRPqi1s38 ZqZWDlUdxYqCRwmDTrGH2MmTkjO6bbq8Lp4xBhlz5VqjPyhh/4GqU94NHXLN0Mq6BXU9yZ V8tmPoVdRwfYCD7oIcdpnzDW9CeTSaHEkQIs1q+i6PY3hvNexQbRqShZArpWNnrCkHV41E tPsQYKc1BE9ETNys/uwwQR/DuGla3OXBPepYfJWG0bKIZem/qbX4ArMpne63Mw== Date: Sun, 22 Sep 2024 13:17:18 +0200 Message-ID: In-Reply-To: References: MIME-Version: 1.0 X-Spamd-Bar: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: Josselin Poiret X-ACL-Warn: , Josselin Poiret via Guix-patches X-Patchwork-Original-From: Josselin Poiret via Guix-patches via From: Josselin Poiret 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 From: Josselin Poiret * gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch -> gnu/packages/patches/agda-categories-use-newer-stdlib.patch: Adapt patch. * gnu/local.mk (dist_patch_DATA): Change registered name to new name. * gnu/packages/agda.scm (agda-categories): Update to 0.2.0. Use new patch name. Change-Id: Id5d1e335fe22c2d5809116083ed72e7b9208d69e --- gnu/local.mk | 2 +- gnu/packages/agda.scm | 6 ++-- .../agda-categories-use-newer-stdlib.patch | 21 ++++++++++++++ .../agda-categories-use-stdlib-1.7.3.patch | 28 ------------------- 4 files changed, 25 insertions(+), 32 deletions(-) create mode 100644 gnu/packages/patches/agda-categories-use-newer-stdlib.patch delete mode 100644 gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch diff --git a/gnu/local.mk b/gnu/local.mk index 8e7abc8a47..7d36746b88 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -939,7 +939,7 @@ dist_patch_DATA = \ %D%/packages/patches/aegisub-make43.patch \ %D%/packages/patches/agda-categories-remove-incompatible-flags.patch \ %D%/packages/patches/agda-categories-use-find.patch \ - %D%/packages/patches/agda-categories-use-stdlib-1.7.3.patch \ + %D%/packages/patches/agda-categories-use-newer-stdlib.patch \ %D%/packages/patches/agda-libdirs-env-variable.patch \ %D%/packages/patches/agda-use-sphinx-5.patch \ %D%/packages/patches/agda-stdlib-use-runhaskell.patch \ diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 8df3354243..d6a24c8be3 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -237,7 +237,7 @@ (define-public agda-stdlib (define-public agda-categories (package (name "agda-categories") - (version "0.1.7.2") + (version "0.2.0") (source (origin (method git-fetch) (uri (git-reference @@ -246,10 +246,10 @@ (define-public agda-categories (file-name (git-file-name name version)) (sha256 (base32 - "0xwgm2mfl2pxipsv31bin8p14y1yhd9n27lv3clvsxd4z9yc034m")) + "0a9mz9zyifkm03ss00iixa7b844m3gyvsx92al410hqj6v3r02qr")) (patches (search-patches "agda-categories-remove-incompatible-flags.patch" "agda-categories-use-find.patch" - "agda-categories-use-stdlib-1.7.3.patch")))) + "agda-categories-use-newer-stdlib.patch")))) (build-system agda-build-system) (arguments (list diff --git a/gnu/packages/patches/agda-categories-use-newer-stdlib.patch b/gnu/packages/patches/agda-categories-use-newer-stdlib.patch new file mode 100644 index 0000000000..00917853ba --- /dev/null +++ b/gnu/packages/patches/agda-categories-use-newer-stdlib.patch @@ -0,0 +1,21 @@ +Use newer stdlib. + +From: Josselin Poiret + +--- + agda-categories.agda-lib | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib +index 5b19c405..4d63d415 100644 +--- a/agda-categories.agda-lib ++++ b/agda-categories.agda-lib +@@ -1,4 +1,4 @@ + name: agda-categories +-depend: standard-library-2.0 ++depend: standard-library + include: src/ + +-- +2.41.0 + diff --git a/gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch b/gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch deleted file mode 100644 index 32680b99d7..0000000000 --- a/gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch +++ /dev/null @@ -1,28 +0,0 @@ -From 76d3863a5e6e7b9ee948f10a3faec3420a2020f1 Mon Sep 17 00:00:00 2001 -Message-ID: <76d3863a5e6e7b9ee948f10a3faec3420a2020f1.1698265016.git.dev@jpoiret.xyz> -From: Josselin Poiret -Date: Wed, 25 Oct 2023 22:15:43 +0200 -Subject: [PATCH] Bump stdlib to 1.7.3 - -From: Josselin Poiret - ---- - agda-categories.agda-lib | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib -index 5b19c405..4d63d415 100644 ---- a/agda-categories.agda-lib -+++ b/agda-categories.agda-lib -@@ -1,3 +1,3 @@ - name: agda-categories --depend: standard-library-1.7.2 -+depend: standard-library-1.7.3 - include: src/ - -base-commit: 9d61106740147a67fa2cae0a89ac066897b24a51 -prerequisite-patch-id: 508dabd923ba9ac1ee4d8dab6697432b4bd8ba18 -prerequisite-patch-id: b5f39b4fc9e4c9993ab31300de041ed2c7eb696b --- -2.41.0 - From patchwork Sun Sep 22 11:17:19 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Josselin Poiret X-Patchwork-Id: 31331 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 9BAC127BBEB; Sun, 22 Sep 2024 12:18:16 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-4.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,FROM_SUSPICIOUS_NTLD,MAILING_LIST_MULTI,PDS_OTHER_BAD_TLD, RCVD_IN_VALIDITY_CERTIFIED,RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE, SPF_HELO_PASS 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 7B4FB27BBE9 for ; Sun, 22 Sep 2024 12:18:16 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ssKb4-0006Pw-Gk; Sun, 22 Sep 2024 07:17:46 -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 ) id 1ssKb0-0006Od-LR for guix-patches@gnu.org; Sun, 22 Sep 2024 07:17:42 -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 ) id 1ssKb0-00062z-Ck for guix-patches@gnu.org; Sun, 22 Sep 2024 07:17:42 -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=S5Ad9U8LO12QueQN74WETDNfosboIv4fAAeANoHbaHM=; b=m2C/dt+sRq7yaOKh217M6L/iZSw16V/ytEmteqKdzKW0E7sfme3A/eA/m/HPMk0fbdFsxcB9r2nvKkYlcwjSHMCi7MPNXTgwOjje2W5DTVGzAUt9hkph9NF1XG+mvBkttXRE66GsK4bfA4PlvcpzzYYdL+T4zjvNbwQ0pKYQOnFjetI4OHevO9ATsBJY7/KbiIp9Pz3YNeQEWES32Q2pviZHVO4C8t+eKMdfc/8Wah5KQvZ60ZslgsIaf+Mr3qywhytLwGdspesuEhbCMdncNP5z+o/0q1gDdzNajbD/DMZlaZpHwZTEz+FFVE/w/BlrmwebczxoLPKHjFuWSAhj/Q==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ssKbL-0003mY-Qq for guix-patches@gnu.org; Sun, 22 Sep 2024 07:18:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 4/5] gnu: agda-cubical: Update to 0.7. Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:18:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret Received: via spool by 73421-submit@debbugs.gnu.org id=B73421.172700387414493 (code B ref 73421); Sun, 22 Sep 2024 11:18:03 +0000 Received: (at 73421) by debbugs.gnu.org; 22 Sep 2024 11:17:54 +0000 Received: from localhost ([127.0.0.1]:40931 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKbC-0003lb-0F for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:54 -0400 Received: from jpoiret.xyz ([206.189.101.64]:53120) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKb9-0003lD-IW for 73421@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:51 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 121BE185470; Sun, 22 Sep 2024 11:17:28 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003849; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=S5Ad9U8LO12QueQN74WETDNfosboIv4fAAeANoHbaHM=; b=ndSKrZbCCsRKwAoQWCQLvhMlIvLtHYLqtJQsqR3AWduutQcbFUbu1ErCmaTcr4UchQSpFP BHdGQqLvw/yiqluojXyFvZzPwwsBVmgmgc23uJUbSEjlxzEEypo2mdu5p3JzG3tzuIJih3 jWkhpw+KkrpeAba2zNzO9dM4IVYNLtVIqHRVi1KlNte5nmYxyJwbgD94QyESkAOV10/IqC uDBmTFiOvwsilVqPvO4KQpXJkNd8Dacn8EzNKQxkHKR25bn5zVXDb/bqz0VTAESR1m4DoY PFtwFk5bF5EvNr+jk7hsZ+m8PNApGEwgbSel7UCFTVNt9o3ZQp++T7hg9xOLXA== Date: Sun, 22 Sep 2024 13:17:19 +0200 Message-ID: <3108a4eb351d5f06314ec9426c26a8e1be587979.1727003093.git.dev@jpoiret.xyz> In-Reply-To: References: MIME-Version: 1.0 X-Spamd-Bar: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: Josselin Poiret X-ACL-Warn: , Josselin Poiret via Guix-patches X-Patchwork-Original-From: Josselin Poiret via Guix-patches via From: Josselin Poiret 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 From: Josselin Poiret * gnu/packages/agda.scm (agda-cubical): Update to 0.7. Change-Id: I7a0b3e711974c4d93eea6a753054803acc7e5c30 --- gnu/packages/agda.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index d6a24c8be3..f388b4d669 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -269,7 +269,7 @@ (define-public agda-categories (define-public agda-cubical (package (name "agda-cubical") - (version "0.6") + (version "0.7") (source (origin (method git-fetch) (uri (git-reference @@ -278,7 +278,7 @@ (define-public agda-cubical (file-name (git-file-name name version)) (sha256 (base32 - "0zq0z328zcjmm43mrv2ks27i1dnbylcf8mhzja2hd4gvz1kq1ays")))) + "1c6axx3xx9ga7pl5294xqwklgbw96irxj0n74a1bxafhcx2lmfm0")))) (build-system agda-build-system) (arguments (list From patchwork Sun Sep 22 11:17:20 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Josselin Poiret X-Patchwork-Id: 31332 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 95FF427BBEA; Sun, 22 Sep 2024 12:18:19 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-4.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,FROM_SUSPICIOUS_NTLD,MAILING_LIST_MULTI,PDS_OTHER_BAD_TLD, RCVD_IN_VALIDITY_CERTIFIED,RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE, SPF_HELO_PASS 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 5975927BBE2 for ; Sun, 22 Sep 2024 12:18:19 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ssKb4-0006QJ-SJ; Sun, 22 Sep 2024 07:17:46 -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 ) id 1ssKb1-0006Os-2c for guix-patches@gnu.org; Sun, 22 Sep 2024 07:17:43 -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 ) id 1ssKb0-000636-PA for guix-patches@gnu.org; Sun, 22 Sep 2024 07:17:42 -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=rEUiRlKEKieLhyje2Tao3Od4EMNNCVlNMm8Q1pU8QSU=; b=LMdOd56F97VC9gDbfdCiAuntS0DBmzD3+RUdeWNHHazUOs0sG0CHG5f7Y9LZpKNRXPDxzONOA4rYn6xKfCu2GNRSmiFHtljM0gHuusumiEB27U6EYiW3xBPexJIOTC+yfqbZBb5IV9b4LcF7GwcpWZNcq2zOTcuVWbkJIEgObyiED7ePeqnqOcheYVua35yx/7aezj+xQPqZ5AyZJbyKBfWAQTgZg+Z0iApP3PS0o1f7YCEjGrM8zQa4W0rxRZ9d946vJOjhRY9Ukh46muC8SoguQsHWq0cpdUlMMk11lzzo7u28f4Jl9S9/ubuOw7wvYruQsTWkMaBG9dE6WZoXQw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ssKbM-0003mf-7x for guix-patches@gnu.org; Sun, 22 Sep 2024 07:18:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 5/5] gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:18:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret Received: via spool by 73421-submit@debbugs.gnu.org id=B73421.172700388214513 (code B ref 73421); Sun, 22 Sep 2024 11:18:04 +0000 Received: (at 73421) by debbugs.gnu.org; 22 Sep 2024 11:18:02 +0000 Received: from localhost ([127.0.0.1]:40933 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKbJ-0003lx-Iq for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:18:02 -0400 Received: from jpoiret.xyz ([206.189.101.64]:53190) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKbB-0003lK-3u for 73421@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:53 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id BB9B918543C; Sun, 22 Sep 2024 11:17:30 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003851; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=rEUiRlKEKieLhyje2Tao3Od4EMNNCVlNMm8Q1pU8QSU=; b=rJn2d+Azga1x6c4wOpffTQ7bNsC/+H+ndly5Dya/uYO07qPgqsbu5pSyxM61vk+1NvAOil BxXylwOi2DS8QZYt87KZtKGN3ML0ugT1xTGONC9CYHAW6jRO+4RCKNWdJz8Gba5wpzv8ki lZx3q8FcSiJoYFRKQlmZNZ/FE0PHPYhFp5L2s8szL/ua3f6KMEJPl/Q9CIo8QsHl8+Mkjs Oiqa3HoIR658DpSn1zlSMrQ12vHpdqskxVIwf0BgY+OjUJ+sV/lsAiIotNluOwPSVFCH6f /Wdnt6Ljn369mOB8ExlonBhpubGtZbg6GEtKkgmgDp2iLsXEoZBGprMjQ71rQQ== Date: Sun, 22 Sep 2024 13:17:20 +0200 Message-ID: <47dead9bcf96d5304de46be2dd4200260e6d712b.1727003093.git.dev@jpoiret.xyz> In-Reply-To: References: MIME-Version: 1.0 X-Spamd-Bar: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: Josselin Poiret X-ACL-Warn: , Josselin Poiret via Guix-patches X-Patchwork-Original-From: Josselin Poiret via Guix-patches via From: Josselin Poiret 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 From: Josselin Poiret * gnu/packages/agda.scm (agda-1lab): Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. Change-Id: I0c0b5273c13152e079f9e62daffc5c051d62ca63 --- gnu/packages/agda.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index f388b4d669..c20549888d 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -297,8 +297,8 @@ (define-public agda-cubical (define-public agda-1lab ;; Upstream doesn't do releases (yet). Use a commit that builds with 2.6.4, ;; since they use Agda HEAD. - (let* ((revision "2") - (commit "549fdb1c948a975e90e70f871993a4a4239aa280")) + (let* ((revision "3") + (commit "afcf848d367f906d6d07d1612fbd41d7dd8c978e")) (package (name "agda-1lab") (version (git-version "0.0" revision commit)) @@ -311,7 +311,7 @@ (define-public agda-1lab (file-name (git-file-name name version)) (sha256 (base32 - "1k4zj8dibyplakpxaw4a8hpsaqhakynjb83dqxrva4h4ssj6gkqj")))) + "12ax3n9111dkzm7nm3kwnvgslzsybyh740vml7l089in89f979wn")))) (build-system agda-build-system) (arguments ;; Check files individually first, to avoid running out of heap :(