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 eBdbAcs0FGRZbgAASxT56A (envelope-from ) for ; Fri, 17 Mar 2023 10:37:15 +0100 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 4IwUAcs0FGSQagAAauVa8A (envelope-from ) for ; Fri, 17 Mar 2023 10:37:15 +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 9EDB0C36C for ; Fri, 17 Mar 2023 10:37:14 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=NXIgVlki; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1679045834; h=from:from:sender:sender: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:list-id:list-help:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=1cL2yIyharxE6BHApu4tFawvuh35oQpz71o1RoXByV4=; b=bwjWNn9lUr/NGNnP4H/NyMqMQ8qmuJT0RDCP4GohThUMMYQXmNetw0oPjuvQVWGblLFHWe Rw7OVTHJC0VDZruKjdFqXf1QV8acEUx35dpEWzvGr9XKuiHHYg3eKBrKDUqJDvVbfSNPd3 w6UQ01Izqw1A3D6vbR7/uAUAD69IZrqq//cq51hghB1WCbA7LM0yG+plv5RtWtklYFxVGw X+dVFtr9abt261ytuTaknhVU7vpn3/FPEkqmY7o/kPPb+wKfBQkNYoznH6q3XWFtg5732X ahD/fc0f2azdl+wfiMFTsITlzkCHwpDBCmpNHJRtl9jfMvmBmqrVe+vCNFnA8g== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=NXIgVlki; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1679045834; a=rsa-sha256; cv=none; b=LGGkwGCnIffkF/ItVvdBUToj2hkDMJnGK/z+U8RoSarNwVGM4Jv5RpLpRWFa0TCmFZ1GQX XZfSBw9D6qdYJFtzc6B8rci01mnatDKD82JqeQPhKDmNfuqnwH/fICWL2JWuFq4yuRt+M5 RU0I7imjbCT2rArv3SujHtEbQx6zd9A0cYTczC6cjSCNbCv3K1iupdkFGRkxTGICRQWf3n f0VQKODFtF6aFog7yuYm6AvJwMBcR2QqHWWhBhDSNStqDMIG/GhbhlNk5sdmyuTHhewnxq LuaFwD8fGxkwOa0+PxI/I+bJM5GOKGCOrv/D/ddM9Z86TgVLkTOl9GFM2Q3nPQ== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pd6WF-0001Wt-Dr; Fri, 17 Mar 2023 05:37:03 -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 1pd6WE-0001Wl-Au for bug-guix@gnu.org; Fri, 17 Mar 2023 05:37: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 1pd6WE-0007ZE-36 for bug-guix@gnu.org; Fri, 17 Mar 2023 05:37:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pd6WD-000182-Qd for bug-guix@gnu.org; Fri, 17 Mar 2023 05:37:01 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#62236: build of agda-ial-1.5.0.drv failed Resent-From: Rostislav Svoboda Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 17 Mar 2023 09:37:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 62236 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 62236@debbugs.gnu.org X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16790458144320 (code B ref -1); Fri, 17 Mar 2023 09:37:01 +0000 Received: (at submit) by debbugs.gnu.org; 17 Mar 2023 09:36:54 +0000 Received: from localhost ([127.0.0.1]:43679 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pd6W5-00017b-UM for submit@debbugs.gnu.org; Fri, 17 Mar 2023 05:36:54 -0400 Received: from lists.gnu.org ([209.51.188.17]:58964) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pd6W3-00017U-W3 for submit@debbugs.gnu.org; Fri, 17 Mar 2023 05:36:52 -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 1pd6W3-0001WT-NX for bug-guix@gnu.org; Fri, 17 Mar 2023 05:36:51 -0400 Received: from mail-lf1-x131.google.com ([2a00:1450:4864:20::131]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pd6W2-0007Wl-8V for bug-guix@gnu.org; Fri, 17 Mar 2023 05:36:51 -0400 Received: by mail-lf1-x131.google.com with SMTP id y20so5730359lfj.2 for ; Fri, 17 Mar 2023 02:36:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1679045807; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=1cL2yIyharxE6BHApu4tFawvuh35oQpz71o1RoXByV4=; b=NXIgVlkipQo/JHwfQiFD1lKb2tt/YDko9ea0OmFekWPWYfz2wdXhqbmHdvlKmiXqhK bMqTL1+pE4NRiYPKvHHi3TPrT9PXsg8WhMOyexBo712+1svdNE2GE/1j/GZQTF0ovOwn chWxuw5VFdw0So/3qEx1MuD9CREFQSh1e6kAElv1X9Id8uuGt8NqBY+2DlXcPVy6ke/j 2LYno8wYfykPZW4QIc2ccXbTsWwLvEUwYaeOyxtEU0I+Wc6jBcVcIg5KM/0YfZEtilH6 5DtU7rGFsRnCOCWblaBvjrW09qqGpwKg5cpUqkkTc/SAKlaVkAHpnR2wVPrDnIRtcwWA Umdg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1679045807; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=1cL2yIyharxE6BHApu4tFawvuh35oQpz71o1RoXByV4=; b=LLFObQGgJrccL938lALT3eDZ9vnuI0TTM9QTQlWAN3jb1SmhCg80MiTnc6ilJ9il/o 3+mB5i2oA8cu8BhoRKM2869CYhbhydv65tKX/Tjp8TfYDRq3d/dDL5S9zttQtas/QKBs f2Ko1OKyuxrOLFdEQdgAF8H5w1QqDrYk+WkgMjqBAGulYIUU3h/Qsgv1tPUxe507I9Y1 hTSDZTe4Wnw6fkxO5BqmSKmv+wOwGF13bsvzMp0D7avHfp3mp7tCuZCvYGy4dHkdAjLa B9uY/8lv4G7vZv830b/WeycFkSLKqji/tRQrq1zXisri+X0D6eHsBgD6RJ0xxAh6Zrer TbTA== X-Gm-Message-State: AO0yUKXKUPDPw0CrhIOe0zWJXYQkYoJrsKeqfV1yZDdORchF/E5pJP1Y 5vryWh7KgYtPnWqiQeM1OxQhYBumlgni+Yhx5f/EdDmn X-Google-Smtp-Source: AK7set9GlAfDr31U1M+bRv+YCR3NYg+wQGw0wJImUV2typz/PAwaaypEVxy7CX9PJyQNTAgZbmjpJUS1S2xUIrElDpk= X-Received: by 2002:a05:6512:502:b0:4db:38ba:618d with SMTP id o2-20020a056512050200b004db38ba618dmr4071169lfb.12.1679045807139; Fri, 17 Mar 2023 02:36:47 -0700 (PDT) MIME-Version: 1.0 From: Rostislav Svoboda Date: Fri, 17 Mar 2023 10:36:10 +0100 Message-ID: Content-Type: multipart/mixed; boundary="000000000000e5e9a905f715502c" Received-SPF: pass client-ip=2a00:1450:4864:20::131; envelope-from=rostislav.svoboda@gmail.com; helo=mail-lf1-x131.google.com 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=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: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: X-Migadu-Queue-Id: 9EDB0C36C X-Spam-Score: -2.34 X-Migadu-Spam-Score: -2.34 X-Migadu-Scanner: scn0.migadu.com List-Help: List-Subscribe: , 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 X-TUID: iWdga29BuqKS --000000000000e5e9a905f715502c Content-Type: text/plain; charset="UTF-8" Hello, the log is in the attachment. Cheers Bost --000000000000e5e9a905f715502c Content-Type: application/gzip; name="4nfd33ayqw5pb1snlf1mp3cnvrili4-agda-ial-1.5.0.drv.gz" Content-Disposition: attachment; filename="4nfd33ayqw5pb1snlf1mp3cnvrili4-agda-ial-1.5.0.drv.gz" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_lfcch2s60 H4sIAAAAAAACA+1cW4/bNhZ+968gUuw6k4QeXW3LKApMJ4M2wDQNkgbdxWIxoSRKoiVRMinJktGn /tT+kqXs2KNrEif0y+4+5KLv8PBceHgOSYn+/ebt61evf1qBp35OIgxzjtnVCpA4TViGXRAnbh7h PbUEtmjigjwjEb8CSYEZIy7mwEkYBjahLqE++ODiCGd4OuEZYlmNpAHiGHzgOIPvfn3/9vYOvrz5 7Q7evfn19ufp5JNUwHPHwdgViiAvwwwoMwVw7CTU5YMCUpQFfDrBtCAsoTGmGSgQI8gWNnx4c/Nb 3SXOQJaAD9c+za95JnS/LghZbiIShYUXEjuiS2vOwlKdV4ykS43pEPkugtpsPtNm2rWwdNVg9jW0 rqJlGVoIsZL5a5v6WhCu9U2sFcpOg0JNqM50o8tISLl1Cj00rJCrzNONdO17u3hXBYG/pb4O/R1J BaeqdDm5HkSqti53VmXzBeXVItwsKnu3W2zoLuY+tAWnJliV2bLL6ywJXxvrzTykhUIcz2eG7pL5 RqeFuwvLBSx30BR2ml1GgzhzzTCI7iDDNljpaFvK/CjixK0IDwro1fFjznSry4mCOC62mpqqKgmX SuSrnmXq1cJzl/YmXMfQJZ63jyqo9xXe6VZA2dblqus7dur566VLC82hwtNaaUf1mDuBGJ3FbN7l 1S3GS51GhqOrlqmtK9te20t3TlxmBuWCCZ2pe5BszJaznqPnlrLZ6Z6v64abbqme0nloWtTYOpah p5oNfbQNhc1qn3Vb+sWcLH0l1YyN6TvVzlUqpiz4MqTWfKlAjt1aaJevXG9TLeCupZlz4qyFyh6L dzRN18Sptt4c+gynwk89W13NFFHkOxaNNSfaed4u8AlJ3cIrdmGxJbCepgdblzO9F8amKZzLibqM UeCrukpjUqF5GJu2EXPHQzBGIRYK6724qMzYiuxlqG9CW62sWNH41tpaaB4gx1Xn0EY8gDGhJEbR 3lc9m7mW+mZoLb1I8zW+8y23CsvKtXaRXpKgsGDkwi1DaYoZ7DmaOYulWhih4rIAbaillN52m/I0 JGap2IUHRfuD2dpMX3S5lbmFNlphWXqYOoZaITs17XkRG1vbWoeBD33Hgaoy0/sjbAba1tgQKwjV zW7nE3W71DVNqVweEcoMDv2I2E4tVf8WVi54xzLajzfvfn64//Xm5c2P93fvHg4JLqcixY0w3D68 en17//7l3cNoMjwruRDqRLmLvy7BDDCfkWQGuM+ZrgPsXz4FBpjPDMOBHs4JxSHtz4ipId/F6+3W IDujdBFdGK4pUqUXLEi0ZNT3whCKXvJS/G0zDAOMXMx47Uqhz2kkx8L09s39+3f/j7z/psi7dp4/ /98I3vtXP769efvPB0mrR6HDVy/lOrxfHu8dxjNivcN5Tpx3WM8M0w73OQHStXbt+kHszM3NgiyI vbR2cbGZzyPFD7zF2jEarFDsKTLidHvwKFN385Ijqhj6gimVbyzFak4sebRwU9rVxx7yzFvCKHFQ hPlJk7Gw+un9q3+I0n07GlbfIvT6ALR2V4et0Vk7KkIFEkXw2FvOa+IU04f372a14Ck4kICXMOCg DPsJq8CT+9uHm/v7J5Phbs5SIacpcsLppOkZXbFYtHNS5rPFfM2Xy9K2K71QFx6q1IW5OUw4Ilab 6sycKdAJsBMmeSbYmegaCmVjlEHCeY5nddspgD+AD7NxuhzxVHTqkoJwktCW3D5BjkCxQU9YS1ID kSPCTpIIMhyJaZNQ3pI1RJIj1ElikSyQ6KQtsYfLEefl1Omb10HliIoIz2AWxG1RHVTiyIURxhT3 h62JyxFHEphhnrVEtTA5Ynq+k+22/VhwEqcR8Qhm/XHq0uSI9RmKY9QW18LkBUUvGqS7L8bMx5An LOu7r0uTFX2dwJOaHwh1oYtTPuPBKTs0sYu4TvuU7zSZ9vE87uekNigpr0cJzxnuJPUWKClLMIz7 6aiDyi/6cOuN1v0TTaKFIr/iEol0hPt2dmlyxKYscXOn7dYWdoGF3PgSTqbI4TXORZY3OSVtox4B SVmeoZzC4UkwSJM3FWhCd5glvWnQwiVZ2bVMrjVv725e/nI3y8rsKKCByBGxV7c+tThKeATkjUgv s7dBiYvNLIGH6dlfb3ZIcoQW2BEd9EO8h8tcu3eFdVCZ+W8g8Uku+92KLzsbxInbC70TJjPyelmu jcoR5aIMZVWKOeTIa5fcIZKsQk9wfw53UDmi7l/d3r1+10p5TUjyDlgb3gJLXdkKqJdjW5jURNTb 8PRw2eV9pLJLXbMHnV3pIyApT+BNO0ccnyWdkRWYVVnQTaddWF5w98JaqjVtX8l1VZ2do8TvZewT JstJdsdHtvyC0EswXVjqqZc2dOylyR6b4fXVAEXSOIk50j4saiAXOfIYWV0NNpBc0oeruUxRMaEx KltympCk/BCnWdVOEY+IpJCnnUNeKncTiX149H+9a8wwizv1YayBpE2ZTzLiU9HHaVf2iMg7vOmd 2MheNPbWi5JzeH8R3Aal7/Gg03shNEKVmHJFzwO750f0AoeINuLEGT9HbJDlCA9wFCVwm7DIbS79 u7C06b0/UOtO6QYosbTsSPo7yYJ+SWkRJOV3VNnt+dBAJNmU+J3IaCCSjkFzmpEYw4RG7TrSJ0gr J9jvvGdrYVIPrvs76T5BUgquy1N/CdWFpa7c++unPkFisPed2YUluVJU+Pq1fzdt9HCZJxSDa+0h krQR7A7cBV6o9N/ydXE54n5BIa6/MTuKOT3LXBQMrARk2hAykoZi24FjJDKf0/bbMFHyBnZ4/yq1 9OeeJyw4/tsSOEiTK7bOSiqMUZrWs6m59hhtIF8BfeYXQ3L3uHxxGnSxk7jYHbO33eAy4+yzsVEW lEu4eMRW/UJjqo4G08UE1k/DEveUS4gcjlv1QnE7Gq8Xcqk2Yp92GfvUz81L9YLz8jAXxkJIv0QI ffy3/xphvMElkqHH8CbH1CGYjyfEbqMLeaJ3DviJFhcY/88VQv3ChVD7nALapSvx56agfvnSKEwk n1wHNRrIVWBU8KUEHpLaF0xA9cIT8JDVx7KfdqkCqn+J7fqFbe/ulHq4pLe4LPf2Zy0DJ5qDNMli hwV+FNW+CnLW9RGxK8rEHhal0wlNwFQ08oifM1GwnClIGED08JIXRCTEIAtQ9gK4SQ3QZE+Y9Do6 S/7hbnrOWX27CR4GbJz0FV3zJGeO2GgG2EbU56L3A3x4XoH2l8gr4AQC3v9OQ30n+bq+mz3t3jz6 yhvdh84mn1TvKyz0McUMZdg93EprWPolrb5CoPAVpu5hRnektEjnBWL90xnTSR3QAMACKODxkK+J nr63b4IfX+N32z2e2jUpj6fKTbT5EW4TP37U1e/7eJQwSNGGSY1rI03a8bCqiZ2+aW2C7Ts1A/oP q3X65KTltNOLzZbXyYDLGsd1fWtbp3ktq5pvJdqEzZALRlza/ipncp3F6XX9aytwHzKd1DlzWQGV 68O06n7Rs9KNFyo0lRcLc/Lb49kn2KfbOhY9JOaGu7+slwX1pb0oSrZ7wtHvqwkAdgYZTiMk5q3o YvKGJXaE4/peJHBQFA20ATfg4fubB4AE5aldf8zrYiDS+en/JYgAA/lVzbcfF/CU0PVff/4Jqqsr wfQHQOD7G1D2e0b9TkQjIQZl4FtcZWgvVANqy6tvcrhpCocvjBfG/BsdfvjRnE/6+7HJR3e3nN1y kwqYCnL1qgFOQaQBpoFcuzq48A9AwXMQiz8ijYGndFo/Ta8E/vwA1M9Xj4RaiUfrxRhtGcmwbmrg 6WN78efEcHUFGPaiU2zsFRO97FVrKgTykzr7ntq9HBWiXcKYQvOGQh2Wvkqik6O3RlRq9VAr4yRx POye1hgNjYeUyF0oL5ZQE53VvwmwAs+ePQP/Oq4GV7q56mYU8m9wV9/6BIY22V//XAGh3qEsTQ9l aSWysYNyP8gALh2c1pG5mvzt9H/w3fd/J7RIQgz3PdTZuL58tgJPaiWeAMT8vL7fzFfg6ZXog2T7 m9S5eNZA/RoGcuJTFK3Ad57ItknaeP4BTFo18jhpDjVVnc/MU1GtXY+oe5T6seGWZAE4iAPa5D+t 9hAb0UoAAA== --000000000000e5e9a905f715502c--