From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id iIDkEsf672ZcWQAAe85BDQ:P1 (envelope-from ) for ; Sun, 22 Sep 2024 11:08:55 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id iIDkEsf672ZcWQAAe85BDQ (envelope-from ) for ; Sun, 22 Sep 2024 13:08:55 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=TOCtoMmI; dkim=fail ("headers rsa verify failed") header.d=jpoiret.xyz header.s=dkim header.b=rjqCb5Rg; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1727003335; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=QgsrU5Ms5zduRdqcIbQc9Z3ZiXrUmkp9KUdj08V2pwE=; b=Me87aab+ezYb+/dorSEPKWfZ2+Vq23fgnSVAd87p0LmiE72t75NZKp8Y2+sCh0P68d6Gzk v0ww6lF+6GRZL/5ARN3IOmHOstC7UOLTsR2wVN2aVxRic2AI0ArOdrrhie4w9OsL+pOxJ+ vA5lqfSYAcwIJ/GxpBmtyHqa+C25oFo9M7c9Yi9THg9n8gxH635yVYKmevbOSrbmV69UuH BnoYXckGK2C8DAQPu3PW3EbvCibJcBbvPu7Y8mlnd+1yunDz1TAginENKNRVwVpZoEnk1b oWPkJ8Wo55zLUb4xG2c5Mk7tnE8ja6SSUqc+W6UhzjLZ2QqLI9w2yZW1dUKpEg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=TOCtoMmI; dkim=fail ("headers rsa verify failed") header.d=jpoiret.xyz header.s=dkim header.b=rjqCb5Rg; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1727003335; a=rsa-sha256; cv=none; b=QV8yszn60RJ9Yo3oD+RKh+KjQU1PcIVlnP9AUtkczWA21ErbWhRO2BxSHX5t8Byqmn2NVX 5AwdkLg8wMbAHSRY6yUjGzXNMWB4ioW7b78ZmI+nBe70PqUV+WqkDPnKx8N2prfJYVOyiP MR1V03SjxQn1qViD/MT0FU36sR6nC7kRImBiS8nc0p66p0g8x27tC05u1YSwBWEHd0D52g ojojsiTN3OuCADhAat7tGVkWNM+g9auU0SZwn8IuBzB6uhF3+ngOo1NYdhpeVJa3aHT1UX waIOXixeFbwP6tWU+ounYx9mO3QmFmxoGJIJHAHnuHlgcTfGuuAMX5TIdE3qDA== 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 6B86068C00 for ; Sun, 22 Sep 2024 13:08:53 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ssKSJ-000524-Kx; Sun, 22 Sep 2024 07:08: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 1ssKSI-00051n-9D for guix-patches@gnu.org; Sun, 22 Sep 2024 07:08: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 1ssKSI-0005D3-0A for guix-patches@gnu.org; Sun, 22 Sep 2024 07:08: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:Date:From:To:Subject; bh=QgsrU5Ms5zduRdqcIbQc9Z3ZiXrUmkp9KUdj08V2pwE=; b=TOCtoMmI4877ADWVcLaGW4ElYHSDvbl9EIiZp4MUKp2mCazhQuJ7QP80FHNmB0LW+0yMdtp7IwBOCvZNK+QzEVazSGmtXghTs3FY/H3gaBs8/Tj6q86Eu1SCNX2MwwQHmY0qTSEEsErwf19mjZBn2FntKNrVrCna+AauWKHXfUttjpb6rl2/BJrUzpuNdMj9YNMSvwVad7zDyHuV/HyFtYuNPdCVqY7r77KyyrlXNC5+/HMjff4zEJGcWHDUxVtLEphF0jHxIYkPKbh0nsuw5yKwV3Gwx8Y+CyvOr8ofWMBOTSxjI6XSJ2+r9ksyLlzF+qcdbWh9S2FZkPDAzp9p5A==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ssKSb-0003FJ-Vo for guix-patches@gnu.org; Sun, 22 Sep 2024 07:09:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 0/5] Update Agda to 2.7.0.1 along with libraries. Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:09:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172700333612463 (code B ref -1); Sun, 22 Sep 2024 11:09:01 +0000 Received: (at submit) by debbugs.gnu.org; 22 Sep 2024 11:08:56 +0000 Received: from localhost ([127.0.0.1]:40911 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKSW-0003Ew-D2 for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:08:56 -0400 Received: from lists.gnu.org ([209.51.188.17]:52004) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKST-0003El-W5 for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:08:54 -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 1ssKPz-0004fW-LI for guix-patches@gnu.org; Sun, 22 Sep 2024 07:06:21 -0400 Received: from jpoiret.xyz ([206.189.101.64]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ssKPx-0004v4-W4 for guix-patches@gnu.org; Sun, 22 Sep 2024 07:06:19 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 7ACE918546E; Sun, 22 Sep 2024 11:06:15 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003175; 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; bh=QgsrU5Ms5zduRdqcIbQc9Z3ZiXrUmkp9KUdj08V2pwE=; b=rjqCb5Rg3Gzgs3VkUc8W0sCfWF+mJ4Yb46a/ii3hIVVdFRUU/GI0HtK4fZlKSJByqZhSlR VQ0xNq2teLwToQh9Mlh8lAxKyXv86m9yVeiz7hU4vAhdg4zA6dhpuozwZieKVA0XF9hlj6 efnLWWnur5cWl9vU4oV8BIycWIEDnpX7D9sfjz1/EJf28ge4hMdHLFdIy8F/GhO1LTYBJW TB/psFWi5Bg+y773+TDlaDf28cEyVvoiVxs979yoQJIVa3MPjaNOno+g/ms832xDibi6IK XeN2k7zvyuDG5e5zUQpdA2jtCo1WEBG+aCbJ1LxXkPiy4YOunDtq70N0dFOnTA== Date: Sun, 22 Sep 2024 13:06:14 +0200 Message-ID: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spamd-Bar: ++++ Received-SPF: pass client-ip=206.189.101.64; envelope-from=dev@jpoiret.xyz; helo=jpoiret.xyz 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, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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 From: Josselin Poiret via Guix-patches via Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Queue-Id: 6B86068C00 X-Migadu-Scanner: mx11.migadu.com X-Spam-Score: -4.41 X-Migadu-Spam-Score: -4.41 X-TUID: zkmH8gjqh2Xz This patch series updates Agda and libraries to the latest upstream versions. Josselin Poiret (5): gnu: agda: Update to 2.7.0.1. gnu: agda-stdlib: Update to 2.1.13 gnu: agda-categories: Update to 0.2.0. gnu: agda-cubical: Update to 0.7. gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. gnu/local.mk | 2 +- gnu/packages/agda.scm | 30 ++++++++++--------- .../agda-categories-use-newer-stdlib.patch | 21 +++++++++++++ .../agda-categories-use-stdlib-1.7.3.patch | 28 ----------------- 4 files changed, 38 insertions(+), 43 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 base-commit: b7c94d528875415ea7ec6225d88a6b3d55fa2e14 -- 2.46.0