From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id yM2yIPEtFmRYWAAASxT56A (envelope-from ) for ; Sat, 18 Mar 2023 22:32:33 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id cGLvH/EtFmQWGwAAG6o9tA (envelope-from ) for ; Sat, 18 Mar 2023 22:32:33 +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 270FC1A8B8 for ; Sat, 18 Mar 2023 22:32:32 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pde9l-0001aS-BC; Sat, 18 Mar 2023 17:32:05 -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 1pde9i-0001Zw-SB for bug-guix@gnu.org; Sat, 18 Mar 2023 17:32: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 1pde9i-00062d-KA for bug-guix@gnu.org; Sat, 18 Mar 2023 17:32:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pde9i-0008Oe-G7 for bug-guix@gnu.org; Sat, 18 Mar 2023 17:32:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#62236: build of agda-ial-1.5.0.drv failed Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sat, 18 Mar 2023 21:32:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 62236 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Rostislav Svoboda , 62236@debbugs.gnu.org Received: via spool by 62236-submit@debbugs.gnu.org id=B62236.167917507932194 (code B ref 62236); Sat, 18 Mar 2023 21:32:02 +0000 Received: (at 62236) by debbugs.gnu.org; 18 Mar 2023 21:31:19 +0000 Received: from localhost ([127.0.0.1]:49128 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pde90-0008NC-VB for submit@debbugs.gnu.org; Sat, 18 Mar 2023 17:31:19 -0400 Received: from jpoiret.xyz ([206.189.101.64]:44132) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pde8x-0008N2-7x for 62236@debbugs.gnu.org; Sat, 18 Mar 2023 17:31:17 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 7AF3818531A; Sat, 18 Mar 2023 21:31:13 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1679175073; 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=tSfkC88p+pPS90WrxLqKLN2iw+H3rFjR7C8J+iN0IgA=; b=QStgfCe2toZnZJd4JJAnEZgRAziKNsZP6dC6sgmjJIKMqtHVuqFKfKmvOEPwbBXOgi+SqQ KPYLgOU6E5Aj+WcwT5ijbm3xP5BW5OLN7Fcdon1D6wuttk/+G3X9RcSnVEXdzsE/qqVKTy kIoP6BGjka2Uexd+aSPnbOnm640L7FqWGtk7TMmEtDpYvZAE4dExeIWAYmIM0HhLk/5ZKY vVO/hUEh9RLpShKh8Cry648Sz4nF4sq3gwC0dczPpFPFAYO+/0EV5l3qdDt3h5xZvA7FUr pw8pljJ8wgIhpt6Q4J/D8rTXDnTHkfjj4DUjZ9JWyazDiD5bgIHzLsUUwMf9Cg== In-Reply-To: References: Date: Sat, 18 Mar 2023 22:30:40 +0100 Message-ID: <87pm956933.fsf@jpoiret.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spamd-Bar: / X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: Josselin Poiret From: Josselin Poiret via Bug reports for GNU Guix Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: bug-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=jpoiret.xyz header.s=dkim header.b=QStgfCe2; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1679175153; a=rsa-sha256; cv=none; b=DZ4F0DbH4yqU5N30n7GyKlglRrZuu9Bv7gatuApAbzLNrLrGaZCc5iwgJnkXbXfGPsd9FC tsDLW86WGL3E8h/W8BhlfNb/S0lb2iJDKmSnfTv6DU8NFVSfEWIPl+L2FWWDCpGF3YviPk 7w7LJmJjRw5v14m4UU6jFmvWE5Cfaq5M0CXq3aRtR/+ZcVkuaWG2Jh0YmN0yuNAelqqeJ3 hZ9FR18AD7GsNZ1o2jfByczrapOFp3uee3Kb9u4YoZr2HW0riG1XsF8teapKajR64DIOKT 3HcacvokrevbQtj7NeRSRSnJc+W8TIw19ny2yQ7RKYKpBKqeTvcZm9b0p65RMw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1679175153; 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-cc: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=tSfkC88p+pPS90WrxLqKLN2iw+H3rFjR7C8J+iN0IgA=; b=Twp5qRcLFJcOBQFUJEsFUBkUUkGJaf5WC+Ci8LfMMbFv/X42pP8rd7ts0k6ph+oxNtvwfU 3lM9PsrU7qnpCrVqr9A69zSCQ53DoBRdrYpZ7MUfgSEqLvQd1YZYWE5eXkmOLKQypghngg sAWiLSoLBXO1hvZbnbMrsUq0E7RRUsCvueQCFnPjHi9trtNyvZ5W0TnPtw+CoMEwfRU5hA 3kboCyAH/Lsn6WgC6enWSCwPfQqJ+3VVTPsrFWqA9Um74F0Gw6gQ7KKlLW2WwRai7hc42b cj15Os6hAE6LnsbzV+swWCbbGrFTQqljnLoWCU8q4BuECWbirn6sVz/qahUY6Q== X-Migadu-Spam-Score: -5.35 X-Spam-Score: -5.35 X-Migadu-Queue-Id: 270FC1A8B8 X-Migadu-Scanner: scn1.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=jpoiret.xyz header.s=dkim header.b=QStgfCe2; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org X-TUID: g/PQgN+FteYg --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hi, Rostislav Svoboda writes: > Hello, the log is in the attachment. > Cheers Bost agda-ial is from 2018, so I guess there's no chance it would typecheck with current Agda. There doesn't seem to be a new release upstream. Maybe we could remove the package, or ask upstream if they plan on releasing a new version for Agda 2.6.3 (which hasn't landed in Guix yet). Best, =2D-=20 Josselin Poiret --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQHEBAEBCAAuFiEEOSSM2EHGPMM23K8vUF5AuRYXGooFAmQWLYAQHGRldkBqcG9p cmV0Lnh5egAKCRBQXkC5FhcaiqWwC/9MgtB2gQt4Vh0vpH0zMRzBZFjGp4d36bdo 8h3WTGbo7WvI0gqbRXXxHwKeUn1ZycQyB6VIaDvM/EgjCTfILR/7h4k+u9MYbrWM Juc7i9xzw66AFjNEqKQIpU5Lysmhofjvr7tT/Y0joNnC+HnAbrxgDf+SsPtNBiKv zeujP7YAY63McjNeAw3wzXyFIxNKK1g8eexL9EQ8IvC/BrMc4rU5TAD5E13TPahm tnLXBJjqTAwsiS9AyZ324aVu+JRSIdCpzqySwoKZ2AjdXnt/EjZon+lqzrHAAK3C nunuxBQNuGJrutg1uyMQHAy/qo7qtH9MPjPWgOYk5wIqomq8Q/M6yHtrpapQsU7n TvVG4vhG3KGhmeVxVZ/o+319lhm3L50Fpt/fmVCsOehLXqL+BNcGf1lSaBAF0hLD nUcLYscQ6QzUf0nR0p3g18MuZ01mFHkHwX0yuFmloY85JKNYvR3s3L5fhbW3zkWQ /YblJ/xhikmQy8jzOV8QEnnAw2MWdkc= =nZXM -----END PGP SIGNATURE----- --=-=-=--