From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id WKMFLPJdfGRdqgAASxT56A (envelope-from ) for ; Sun, 04 Jun 2023 11:48:34 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id yCb0K/JdfGR3KQEAauVa8A (envelope-from ) for ; Sun, 04 Jun 2023 11:48:34 +0200 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 907203B8B for ; Sun, 4 Jun 2023 11:48:34 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q5kLE-0005Bm-RF; Sun, 04 Jun 2023 05:48:04 -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 1q5kLC-00059S-SJ for guix-patches@gnu.org; Sun, 04 Jun 2023 05:48:02 -0400 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 1q5kLC-0005VA-K3 for guix-patches@gnu.org; Sun, 04 Jun 2023 05:48:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q5kLC-0006qx-Fx for guix-patches@gnu.org; Sun, 04 Jun 2023 05:48:02 -0400 Subject: bug#61915: [PATCH v2 00/13] Update agda, add build-system and libraries. Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Sun, 04 Jun 2023 09:48:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 61915 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 61915-done@debbugs.gnu.org Mail-Followup-To: 61915@debbugs.gnu.org, dev@jpoiret.xyz, dev@jpoiret.xyz Received: via spool by 61915-done@debbugs.gnu.org id=D61915.168587206326312 (code D ref 61915); Sun, 04 Jun 2023 09:48:02 +0000 Received: (at 61915-done) by debbugs.gnu.org; 4 Jun 2023 09:47:43 +0000 Received: from localhost ([127.0.0.1]:45074 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5kKs-0006qJ-R3 for submit@debbugs.gnu.org; Sun, 04 Jun 2023 05:47:43 -0400 Received: from jpoiret.xyz ([206.189.101.64]:56296) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5kKq-0006q3-Nd for 61915-done@debbugs.gnu.org; Sun, 04 Jun 2023 05:47:41 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id D62691852FF for <61915-done@debbugs.gnu.org>; Sun, 4 Jun 2023 09:47:39 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1685872059; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=P7ddRN8IzLaRvflFtqleclrNm+LELsWIXxthQPHmWYs=; b=CymYgS2JxpAecYJHGdci/XB0QKETgKVs+OVEvcomQZEpBlpIzCSxvEPiibJKjoBdgzB/WW 7OpUgTL+UpGXaTgyENoGGUHwJoPYZ7COfRxnKVMUAPwH24eeI6O11N2u4F79NJVqX5oaAL tBqMc8tY0xdLKSnxuqMBhODohNWUEk2WFHI6Uw94bW/GNvNOdUNkf9/cllfwj2uc5G28dP JsLuduw1eixVBDjw4KRv6mWwc35T2EiG5xdPamVi1r1jt1WrfCKVoMyvHi7tR7oP7GDGOj 1PY2iiSBcKXJZEltC6kCO7WFiGDLSd1pJB/ofHSeHWL1eV+bH4CUGIDtmFdprg== In-Reply-To: References: <87pm9pref8.fsf@jpoiret.xyz> Date: Sun, 04 Jun 2023 11:47:37 +0200 Message-ID: <877csjeeyu.fsf@jpoiret.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spamd-Bar: / 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=1685872114; a=rsa-sha256; cv=none; b=iyJD3WOHIWADjZ1stA8Z66ZoHwFduU+t6BTNEr4Td/S2yMSGSeSjWHcU9KEt6FYupER72x 9TgNqB8HQj4UjTeQxsoUet2ex1pYYqjWHKkxdjIH2127pd3Sup23sNcBFLOROONjS4NmUW tIZeI/6bIFl7S777oKQRflTQxvKhrloNccdN3Sl9XFKwYsfOQPvcqyZUs1YYfOgrSNDeYD QdmAp34DdBn10axAMTFNIBquDMaCgQJgfYlwDRU0M4GNM0QYnwKHo+yQX2P8upKBRwzLpf ql/lYOQKfyVtzeKSVMo4ZDHtzBzRIfNFGqlqYnCGULPHrg72nYY699XrGtoeuQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=jpoiret.xyz header.s=dkim header.b=CymYgS2J; dmarc=pass (policy=none) header.from=gnu.org; 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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1685872114; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-to:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=P7ddRN8IzLaRvflFtqleclrNm+LELsWIXxthQPHmWYs=; b=O1oLEacVRq1e0Mk0Klb2oJIG+cf7PkagwHbcwmFEjW/FmVk/+6lDVgZoTw6OuhejRrthBe No3QcVqgOQnFr5Z1ye6ZxZWG00urHDw9k1PsZrhwsbI1PvVEmMyIKl+SD2p3wHiLs4mGr0 rhRgVPrtX2vUPVIqvYAS50YYkTrSYjgOXa4C64/3AK6x1Zz58fx+7XJ+bGoo9wrU6rxZW0 b8/QI3ETolPwaPtlz+3YhJ4Rbavm9Ufn+w2J3Q6OgTIN1AkV9m129Y2A+gIfdTmX/TUXLJ Y/N6Rxip3raYldkoJlava68eQZZ/Yg4qgMg/ncPd/rT+zR8DbjpAw0sxeMOYnA== Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=jpoiret.xyz header.s=dkim header.b=CymYgS2J; dmarc=pass (policy=none) header.from=gnu.org; 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" X-Migadu-Scanner: scn0.migadu.com X-Migadu-Spam-Score: -6.38 X-Spam-Score: -6.38 X-Migadu-Queue-Id: 907203B8B X-TUID: RTuxSLgNL1n/ --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hi everyone, Josselin Poiret writes: > Josselin Poiret (13): > 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: emacs-agda2-mode: No longer inherit from agda. > gnu: emacs-agda2-mode: Switch to G-Exps. > gnu: agda: Add AGDA_LIBDIRS search-path. > build-system/haskell: Export default-haskell. > build-system: New agda-build-system. > gnu: Add agda-stdlib. > gnu: Add agda-categories. > gnu: Add agda-cubical. > gnu: Add agda-1lab. Pushed as e198fe4e942c58136dd4cb8ebf49cade58a8f5e3 with some additions, notably refactoring some descriptions that the linter didn't like, and updating agda-categories to the new released version, agda-cubical and agda-ial to a new commit. Best, =2D-=20 Josselin Poiret --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQHEBAEBCgAuFiEEOSSM2EHGPMM23K8vUF5AuRYXGooFAmR8XbkQHGRldkBqcG9p cmV0Lnh5egAKCRBQXkC5FhcairgPC/42AKmOd7IYeIdUSf6qBwXiqpicFqpfBi4A IVdxUwBSXBDrnpnLqSHv0mAi/yx4By7hFUw7TOJJY/ybFKY8uu2BEU8WiTTobhXm uddDnaWUSpqA0zNdU4xK7EXkf0vfRygl10W73srn2WIiuCiUK9/rRYwwN4HSDim2 Ui0BLnnwtgwRSqnzFoPmTI1kcWRYNM9B2svfqwwWMyRuUVLpX+d4nOLLaKeZpRib daZXEwGTNtKx4nz9wOeNamFUgGXkrRG8dYQ/g0P/Ae+BqASjFUfqFgDa4FokQcbO kelvxYuMO6UyWMoEuF/X7qlCS5DVmGGX7NgnOTQi0sBQ6NG41CfLMQtibad8h3cb iQRWXu6K6aFA5KqSrJniUUTnD8x5i0Clho+XZO2NwbOyvj/cHi4H85k6oHyWVU5p npaQ+0dJKx6kwrOV6FhUZbIQ/aZ+KLd0MWQfC9p52QvR7vcthDsuhHQYtJC5LbSi kTNo7oc+N/XwIT6D7/gp5yXMnggdASI= =/847 -----END PGP SIGNATURE----- --=-=-=--