From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id 0LnzGKGuAGSzfAEAbAwnHQ (envelope-from ) for ; Thu, 02 Mar 2023 15:11:45 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id kLPgF6GuAGQUewEAG6o9tA (envelope-from ) for ; Thu, 02 Mar 2023 15:11:45 +0100 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 EF9C316FCA for ; Thu, 2 Mar 2023 15:11:44 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pXjeD-0008Eu-K5; Thu, 02 Mar 2023 09:11:05 -0500 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 1pXjeB-0008Ei-2A for guix-patches@gnu.org; Thu, 02 Mar 2023 09:11:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pXjeA-0000Ur-QA for guix-patches@gnu.org; Thu, 02 Mar 2023 09:11:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pXjeA-0005YK-Bf for guix-patches@gnu.org; Thu, 02 Mar 2023 09:11:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#61915] [PATCH 0/4] Update Agda to 2.6.3 Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 02 Mar 2023 14:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 61915 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 61915@debbugs.gnu.org Cc: Josselin Poiret X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.167776624221312 (code B ref -1); Thu, 02 Mar 2023 14:11:02 +0000 Received: (at submit) by debbugs.gnu.org; 2 Mar 2023 14:10:42 +0000 Received: from localhost ([127.0.0.1]:56211 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pXjdq-0005Xg-Hu for submit@debbugs.gnu.org; Thu, 02 Mar 2023 09:10:42 -0500 Received: from lists.gnu.org ([209.51.188.17]:48934) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pXjdo-0005XW-VZ for submit@debbugs.gnu.org; Thu, 02 Mar 2023 09:10:41 -0500 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 1pXjdm-00085O-K4 for guix-patches@gnu.org; Thu, 02 Mar 2023 09:10:38 -0500 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 1pXjdj-0000QB-F9 for guix-patches@gnu.org; Thu, 02 Mar 2023 09:10:38 -0500 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 74E9D185320; Thu, 2 Mar 2023 14:10:31 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1677766231; 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=HG2QNp6w6CatSFothhehfRmq78JSsB5KIcQE17XGEg0=; b=J+5dAst4tIRQ/XTg3EgrCw+IFDtKAt8oNUuwufui3dimsk5q7GDPZzTDcLHZlVPrY1qLlu vYRRE2GIoAVkHMOd9rk5SQ9Prjk+k4hq11qyUs41IDlZelUfY3TmUrXgVl1PyUH6PEirR4 h644whDOjMHRi8rusTMuqjGYZmuC5w55+LV8ywOJCecA5wtuFcTL0jFDJ9t9ckNElBGmTz /sJsR8p2t6i7HvVi9M9hg30U9GB6eTF0RONCWG5oeUsUuU0oZtwbbQucGTuY36CY/+PmrB IWVI5Ip2mADpRm/r1IyY6SS1TRLqk0rBhx6N3rpT7jcTOd/Mif2ID1HZdZO5Tw== Date: Thu, 2 Mar 2023 15:10:25 +0100 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-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1677766305; a=rsa-sha256; cv=none; b=l79hHSDQiDbDaWJjt7kiWd51vOALhsaT7HSt78BbNr77jmpmlUvUAOVGR4sjQBTsillL8h f6a00+4t4v8kG1sRL8xQhZSaHh6IJ0u848X9ET4etH2xzpQqJJ0yewewXVc30LsLSI0pKq MHXv7aflJYR0di5LFxyPHyW5rLGUIhJXfrTzlPEgdeosor8lG2MG9lCh2kCyvujyYSJws0 Sl8XQFpByC0F9IbJdijAXda90lgUT+FrmN6fXVbLmaCfOXUGpliduOTYEJ/zQbwvCHc33P TQVV7xNtO0cCDQz1GL8xHJIQj2z/+ojbPLA1zeGgZcpnLlzXq3quEkWFzLkRNw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=jpoiret.xyz header.s=dkim header.b=J+5dAst4; 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=1677766305; 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=HG2QNp6w6CatSFothhehfRmq78JSsB5KIcQE17XGEg0=; b=XQXV1FEBOLETzMTn8eVHB7UOLZPRJF2XI3oLF3rwrSOP/u/WN7jxz/pFDcZzd66qYCmYc6 AMslseG4l0qCtaCsFodpQOybjyS8FxoGJbK/9+tdmZyCMI/s+nWoYkSjOjuauesXF8hcdA asBZhiQPBCEKysJ2MDRElCraah77bZhnMN81HsGyHiJM0lrlFLdcL4z8dKMktdZZNV7QxE llAe2e5prRWxOVFE0NYj8bGYH4yoO0Czc02NRduO3AlKXUt0pWde0RtMVycCOVZkYdirrv RhHeqt1DxkEsODBmE7m+78CjPKukiAQRytNLYPFtldgMivF4N9VgT+IqhpwKCg== X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -3.39 X-Spam-Score: -3.39 X-Migadu-Queue-Id: EF9C316FCA Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=jpoiret.xyz header.s=dkim header.b=J+5dAst4; 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 X-TUID: 3QloJrJLv7Vb Hi everyone, This should update Agda to the newly released 2.6.3 version. I also thought it would be a good idea to build the user manual as an info manual, since sphinx has a texinfo backend! This means we have to switch to git-fetch, since the manual is not available in the upstream tarballs from hackage. I don't know how problematic it is wrt. updaters and friends though. Best, Josselin Poiret (4): gnu: Add ghc-peano gnu: Add ghc-vector-hashtables gnu: agda: Update to 2.6.3 and switch to git-fetch gnu: agda: Build info manual gnu/packages/agda.scm | 35 ++++++++++++++++++++++++------ gnu/packages/haskell-xyz.scm | 41 ++++++++++++++++++++++++++++++++++++ 2 files changed, 70 insertions(+), 6 deletions(-) base-commit: 307d1b626be86ed21d48d44a131ce8490f370a17 -- 2.39.1