From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 10 12:01:59 2022 Received: (at submit) by debbugs.gnu.org; 10 Jan 2022 17:01:59 +0000 Received: from localhost ([127.0.0.1]:53168 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n6y3T-0003Ud-8O for submit@debbugs.gnu.org; Mon, 10 Jan 2022 12:01:59 -0500 Received: from lists.gnu.org ([209.51.188.17]:34636) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n6y3O-0003UF-7b for submit@debbugs.gnu.org; Mon, 10 Jan 2022 12:01:57 -0500 Received: from eggs.gnu.org ([209.51.188.92]:37650) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n6y3N-0006wY-VZ for bug-guix@gnu.org; Mon, 10 Jan 2022 12:01:54 -0500 Received: from [2a00:1450:4864:20::336] (port=38692 helo=mail-wm1-x336.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n6y3M-00079e-9P for bug-guix@gnu.org; Mon, 10 Jan 2022 12:01:53 -0500 Received: by mail-wm1-x336.google.com with SMTP id p1-20020a1c7401000000b00345c2d068bdso10143389wmc.3 for ; Mon, 10 Jan 2022 09:01:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:subject:date:message-id:mime-version :content-transfer-encoding; bh=g6JI00xc54jLArBZnPaHrFTw1/M+5m2VaQUqLk7jKnw=; b=Km7MAV8M+//6VL0ddmYs7sv/59MI0XBRVXzxamO/OmpYqX00GIsQKvE9scgG29lltU PplODniy5Kekwgv2yebx8nGIE6pOGeGSpzxu2HOmwe6j2ou/lo/z12dKmx3N+aadk4/e kpn7XMWpYK/K7jTOJhR1byGMNaAoXCxYxIjOzrjSBQ4blSrvYHHwMVFHLB8gWnakbFYJ 8n3+Tn2U2U+7B5k6nTjN66L5yIwCt8bXCwPRSVkyIPP2ZJNp4FOloPK6VGkhdJzAdhKQ hT18DaODKsY//T1Finool4hqmw3nsDogOxF0E9nbvZAfNxTO4qF8kXXCB3rLdTu7t2sh odFA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:subject:date:message-id:mime-version :content-transfer-encoding; bh=g6JI00xc54jLArBZnPaHrFTw1/M+5m2VaQUqLk7jKnw=; b=I6fjpb4gSvpSdOCdpxr7GnXTz5cOYZeKQSpt6DyLDAhKTgtphIcJE6EtNepgoPeE2P rgxJoCX2rZ+4Jjlj+3lnl9l5mQuGpklNr537imeWiLBFtm3Vd8uVbpc7U4GxDWju61Zn VCMS41RAuBAca/gWGB3tnYsA8ALD8U/IutpidGD8WXHQynAw1bT/vt1GBhYiB3mqA/Pz 3FSKZNearqjNYwkwAqJUhsirs9e2Y1H+dC6NcVHmdkvyT90D7HnNyCRzOsMzM3YTXN/K ixmmR2+D16P4j+kjf1Jt7bchSVXF34S6drvgPvz+EZk3BXkx4Tx9tr4xhbwePI4KKbY8 DVMg== X-Gm-Message-State: AOAM533b1VZOe/jLImvoj+UuvrBAV3xWdKbG0pkk5BUKOaa90gWSfXOf b+E/lqh0OUHpJavf0V/JsWCHAqBC0DM= X-Google-Smtp-Source: ABdhPJyOZuu9C5z7AwpXiVkyyQjFNIlIqaEdvHDbWsdtlej+mvSeGpF4LoxeQI7/SiWXIaQdLZUJDQ== X-Received: by 2002:a1c:2b42:: with SMTP id r63mr329471wmr.80.1641834110591; Mon, 10 Jan 2022 09:01:50 -0800 (PST) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id q3sm7214830wrr.55.2022.01.10.09.01.49 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 10 Jan 2022 09:01:50 -0800 (PST) From: zimoun To: bug-guix@gnu.org Subject: "guix import opam coq-of-ocaml" unexpected error Date: Mon, 10 Jan 2022 18:01:46 +0100 Message-ID: <87wnj7wmmd.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::336 (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::336; envelope-from=zimon.toutoune@gmail.com; helo=mail-wm1-x336.google.com X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 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, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.4 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Hi, For some reasons, the Opam importer is failing for coq-of-ocaml: --88--- $ guix import opam coq-of-ocaml Content analysis details: (1.4 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_MSPIKE_H3 RBL: Good reputation (+3) [209.51.188.17 listed in wl.mailspike.net] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [209.51.188.17 listed in list.dnswl.org] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (zimon.toutoune[at]gmail.com) 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders 1.3 SPOOFED_FREEMAIL No description available. 1.5 SPOOF_GMAIL_MID From Gmail but it doesn't seem to be... X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) Hi, For some reasons, the Opam importer is failing for coq-of-ocaml: --8<---------------cut here---------------start------------->8--- $ guix import opam coq-of-ocaml Starting download of /tmp/guix-file.058Nel >From https://github.com/clarus/coq-of-ocaml/releases/download/2.5.1/coq-of-= ocaml-full.2.5.1.tar.gz... following redirection to `https://github.com/foobar-land/coq-of-ocaml/relea= ses/download/2.5.1/coq-of-ocaml-full.2.5.1.tar.gz'... following redirection to `https://objects.githubusercontent.com/github-prod= uction-release-asset-2e65be/14023027/b17b0f80-d4ea-11eb-8861-d8d0c56a130f?X= -Amz-Algorithm=3DAWS4-HMAC-SHA256&X-Amz-Credential=3DAKIAIWNJYAX4CSVEH53A%2= F20220110%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Date=3D20220110T165945Z&X-A= mz-Expires=3D300&X-Amz-Signature=3D7422a35182a4ae9cf511471dca445a65316a70e8= baa7ffefc9381ce3588002da&X-Amz-SignedHeaders=3Dhost&actor_id=3D0&key_id=3D0= &repo_id=3D14023027&response-content-disposition=3Dattachment%3B%20filename= %3Dcoq-of-ocaml-full.2.5.1.tar.gz&response-content-type=3Dapplication%2Foct= et-stream'... =E2=80=A6ll.2.5.1.tar.gz 2.3MiB 44.3MiB/s 00:00 [#############= #####] 100.0% Backtrace: 8 (primitive-load "/home/simon/.config/guix/current/bin/guix") In guix/ui.scm: 2206:7 7 (run-guix . _) 2169:10 6 (run-guix-command _ . _) In guix/scripts/import.scm: 124:11 5 (guix-import . _) In guix/scripts/import/opam.scm: 105:23 4 (guix-import-opam . _) In guix/build/utils.scm: 251:8 3 (call-with-temporary-output-file #) In guix/import/opam.scm: 374:37 2 (_ _ _) In guix/import/utils.scm: 244:19 1 (beautify-description #f _) In unknown file: 0 (string-prefix? "A " #f # # #= #) ERROR: In procedure string-prefix?: In procedure string-prefix?: Wrong type argument in position 2 (expecting s= tring): #f --8<---------------cut here---------------end--------------->8--- Cheers, simon From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 10 15:37:11 2022 Received: (at 53165) by debbugs.gnu.org; 10 Jan 2022 20:37:11 +0000 Received: from localhost ([127.0.0.1]:53393 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n71Pi-0000jX-T7 for submit@debbugs.gnu.org; Mon, 10 Jan 2022 15:37:11 -0500 Received: from mx1.riseup.net ([198.252.153.129]:48788) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n71Pf-0000jG-HO for 53165@debbugs.gnu.org; Mon, 10 Jan 2022 15:37:10 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4JXlx95b6GzF4d4; Mon, 10 Jan 2022 12:37:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1641847021; bh=+3GTnrj1MSmoxOLcQGzCEN1mk5tvCD1WSa+yajpFEOk=; h=Date:From:To:Cc:Subject:In-Reply-To:References:From; b=a7QkN9GPr+EKH1mkkZ+Suc8r9Rxcl5Jo2XfJwxrS+6egrQ/uqlb2Gfrd911ETFZ6M lMgxWN+pO9nVgbr5FjQ4WrSbl8f1Y4z8ULh/Vtd/Il9bnjlPfeNmt9mI7GwphDJhLk 2Do4nGhAiiydDu0AZqem3buZ5c3pUutMk2ptIMME= X-Riseup-User-ID: D62AB0CFE5B445E8FB71FD7499010079331A86D216150BE685A06E9EC43167F5 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4JXlx844t4z5vVX; Mon, 10 Jan 2022 12:37:00 -0800 (PST) Date: Mon, 10 Jan 2022 21:36:57 +0100 From: raingloom To: zimoun Subject: Re: bug#53165: "guix import opam coq-of-ocaml" unexpected error Message-ID: <20220110213657.36b9869d@riseup.net> In-Reply-To: <87wnj7wmmd.fsf@gmail.com> References: <87wnj7wmmd.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 53165 Cc: 53165@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) On Mon, 10 Jan 2022 18:01:46 +0100 zimoun wrote: > Hi, >=20 > For some reasons, the Opam importer is failing for coq-of-ocaml: >=20 > --8<---------------cut here---------------start------------->8--- > $ guix import opam coq-of-ocaml >=20 > Starting download of /tmp/guix-file.058Nel > From > https://github.com/clarus/coq-of-ocaml/releases/download/2.5.1/coq-of-oca= ml-full.2.5.1.tar.gz... > following redirection to > `https://github.com/foobar-land/coq-of-ocaml/releases/download/2.5.1/coq-= of-ocaml-full.2.5.1.tar.gz'... > following redirection to > `https://objects.githubusercontent.com/github-production-release-asset-2e= 65be/14023027/b17b0f80-d4ea-11eb-8861-d8d0c56a130f?X-Amz-Algorithm=3DAWS4-H= MAC-SHA256&X-Amz-Credential=3DAKIAIWNJYAX4CSVEH53A%2F20220110%2Fus-east-1%2= Fs3%2Faws4_request&X-Amz-Date=3D20220110T165945Z&X-Amz-Expires=3D300&X-Amz-= Signature=3D7422a35182a4ae9cf511471dca445a65316a70e8baa7ffefc9381ce3588002d= a&X-Amz-SignedHeaders=3Dhost&actor_id=3D0&key_id=3D0&repo_id=3D14023027&res= ponse-content-disposition=3Dattachment%3B%20filename%3Dcoq-of-ocaml-full.2.= 5.1.tar.gz&response-content-type=3Dapplication%2Foctet-stream'... > =E2=80=A6ll.2.5.1.tar.gz 2.3MiB 44.3MiB/s 00:00 > [##################] 100.0% Backtrace: 8 (primitive-load > "/home/simon/.config/guix/current/bin/guix") In guix/ui.scm: 2206:7 > 7 (run-guix . _) 2169:10 6 (run-guix-command _ . _) In > guix/scripts/import.scm: 124:11 5 (guix-import . _) > In guix/scripts/import/opam.scm: > 105:23 4 (guix-import-opam . _) > In guix/build/utils.scm: > 251:8 3 (call-with-temporary-output-file # 7ff70d73d500 at guix/import/opam.scm:348:12 (temp port)>) In > guix/import/opam.scm: 374:37 2 (_ _ _) > In guix/import/utils.scm: > 244:19 1 (beautify-description #f _) > In unknown file: > 0 (string-prefix? "A " #f # # > # #) >=20 > ERROR: In procedure string-prefix?: > In procedure string-prefix?: Wrong type argument in position 2 > (expecting string): #f --8<---------------cut > here---------------end--------------->8--- >=20 >=20 > Cheers, > simon >=20 >=20 >=20 My guess is that the package is missing a description? I vaguely recall running into this or a similar error when trying to import Infer, but I'm not sure how I fixed it. Based on the backtrace, just modifying beautify-description? to act as the identity function when the input isn't a string should be enough. ps.: This is why Scheme should have a Maybe type instead of this mess of overloading boolean false. :) Or at least Guile should have an optional type checker like MyPy. From debbugs-submit-bounces@debbugs.gnu.org Tue Jan 11 05:57:01 2022 Received: (at 53165) by debbugs.gnu.org; 11 Jan 2022 10:57:01 +0000 Received: from localhost ([127.0.0.1]:54279 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n7Epo-0005gB-Pl for submit@debbugs.gnu.org; Tue, 11 Jan 2022 05:57:01 -0500 Received: from mail-wm1-f43.google.com ([209.85.128.43]:53906) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n7Epk-0005fq-QM for 53165@debbugs.gnu.org; Tue, 11 Jan 2022 05:57:00 -0500 Received: by mail-wm1-f43.google.com with SMTP id l4so10694666wmq.3 for <53165@debbugs.gnu.org>; Tue, 11 Jan 2022 02:56:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:in-reply-to:references:date:message-id :mime-version:content-transfer-encoding; bh=6bUH+UxYBJbd4oYg7LacPpYRuwhqK1fyIltbFkcB+n4=; b=o4fGmoDOw5itKfI5pzCC99798Acv153UTihIZ6K8SR1G/nQbKgAlwG1gv/mgobRTnS PCGhRbxGN3dvaovwL6ELIvW710eAyUGYc2WjWym/FxvwXuq+wl+cKYojpAx3aryXUZ6W TwmkKodCvHRH7hvmxk0gHQgAoTtuv0+Q9MnAUQNhvBW2yQnrOMRq7qtcSxUnYXQomiIp Ve0YKv34Ol68n4kGTVywEek6LxMQ7O6Oa2ZiZA3mgVpUWWfNdWSU5dIBoBD9uTVNSKEt pn3lZzub6kP2+Y45GrbhYGFrOyl22RjeRPYi/2PVPWljLGPOMF6ghqFo2hrF/mTK06rs d6Uw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:in-reply-to:references:date :message-id:mime-version:content-transfer-encoding; bh=6bUH+UxYBJbd4oYg7LacPpYRuwhqK1fyIltbFkcB+n4=; b=w4+JeYsdrus+vuOSyEiviPOlvJEHIHYcMz0bfFObSu8IXbYkdh1QEhso1tHEaUlWhP +jAiUXwKoPp6zGFWESJ/3/BcGeR1/Jt5pHWIN+IP4tc6/e60mxVqiKn59ULHbYSwRaKH hrbVqb3fLZdVxqEnSIEaYV8WgOWcxCeZUYmWxsWFpsPxL0gSgpN5JX4Frq1WOuGtR97+ 12YS0XRarOBmoh8VL4B3tZNmjO4a0uJFFZPNDxh0JEIJ9sfUHGPHCndwsnpTC99GNair grTSX9kRFJ6XMGH0O5fTOomMKYXJrTWuH6q+yW+A5n/dZxI2PaD8oI0NWUTzbD/i/HUf 7ocw== X-Gm-Message-State: AOAM532toEG0v88yMZhQx+In0/Rpa0Z7cvCI6s4ktg9DxiTqu7oV+dAM zR5KBGsxseCb9ikDzlJzs0t7bYSthtE= X-Google-Smtp-Source: ABdhPJyMJVeMisWSFL2z50KeZP+47qYBRiqQc9FGNx61YaWwMseTj8OeEPzcHSAyTUwXsBUMgNWQAQ== X-Received: by 2002:a7b:c8c2:: with SMTP id f2mr1964863wml.31.1641898610838; Tue, 11 Jan 2022 02:56:50 -0800 (PST) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id b13sm9057776wrf.64.2022.01.11.02.56.50 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 11 Jan 2022 02:56:50 -0800 (PST) From: zimoun To: raingloom Subject: Re: bug#53165: "guix import opam coq-of-ocaml" unexpected error In-Reply-To: <20220110213657.36b9869d@riseup.net> References: <87wnj7wmmd.fsf@gmail.com> <20220110213657.36b9869d@riseup.net> Date: Tue, 11 Jan 2022 11:51:51 +0100 Message-ID: <86h7aa4kag.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 53165 Cc: 53165@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi, On Mon, 10 Jan 2022 at 21:36, raingloom wrote: > My guess is that the package is missing a description? I vaguely recall > running into this or a similar error when trying to import Infer, but > I'm not sure how I fixed it. > Based on the backtrace, just modifying beautify-description? to act as > the identity function when the input isn't a string should be enough. Thanks. If no one beats me, I will give a look. But for now it is low in my list. :-) > This is why Scheme should have a Maybe type instead of this mess of > overloading boolean false. :) > Or at least Guile should have an optional type checker like MyPy. Hm, I do not think Maybe would change something if the =C2=ABpackage is missing a description=C2=BB. At best, Maybe would be another way to catch the errors instead of raising the Backtrace, no? And I do not think that a type checker like MyPy would raises something here if the issue comes from the missing upstream description, no? Something like QuickCheck seems required and would raise the bug, eventually. Oh wait, guile-quickcheck is around [1] and used by Disarchive; therefore already an indirect dependency of guix. :-) That=E2=80=99s said, nothing prevents Guile to have a Maybe monad. But I t= hink this way of programming is not popular among Schemers. :-) And I agree that a type checker would prevent many issues. Even, I remember talking this topic back on December 2018 around this event: . ;-) Cheers, simon 1: From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 12 01:15:51 2022 Received: (at 53165-done) by debbugs.gnu.org; 12 Jun 2022 05:15:51 +0000 Received: from localhost ([127.0.0.1]:54390 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o0Fx0-0007PA-VZ for submit@debbugs.gnu.org; Sun, 12 Jun 2022 01:15:51 -0400 Received: from lepiller.eu ([89.234.186.109]:40010) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o0Fwy-0007P0-J3 for 53165-done@debbugs.gnu.org; Sun, 12 Jun 2022 01:15:50 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 83996e9d; Sun, 12 Jun 2022 05:15:45 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=Bd9/Ft7McdzQ pFL/yI7q7SPqGqElNfb9gFDb7ZpLSc8=; b=OZvFipS1O6CD4AuhVxcsPUsG+MR8 0/NsanZZPoLy+EjciZTG9Z51fGAavSXahJw8uU/zRN2XWE6iTu/RWHK90KKfhX7i 9IQuD+Pm21T63HEtctpg5KGaYX2m+sVs4zEi0mkO0gVKLC2Vlk9XWTmeFL9j1MAm 91LsYJiElCnctiMigRS+KyEcLKjBab/KqOkjPJ2/PzVNcpcmx5y5tQnGPOf9Wy1d rc3VRCaayBWvDx3Q+3SOIpqFZGJGQqqAOvixcZqANqC6MPNZIaL5FxooFyJKcwqF wOm9m2epZxj/VLvnEJohDi5xXSQNCU6IMQXRtZvDL0xNp08+ZFj6JC4aJQ== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id f1d37a1b (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Sun, 12 Jun 2022 05:15:45 +0000 (UTC) Date: Sun, 12 Jun 2022 07:15:38 +0200 From: Julien Lepiller To: zimoun Subject: Re: bug#53165: "guix import opam coq-of-ocaml" unexpected error Message-ID: <20220612071538.4f8f869c@sybil.lepiller.eu> In-Reply-To: <86h7aa4kag.fsf@gmail.com> References: <87wnj7wmmd.fsf@gmail.com> <20220110213657.36b9869d@riseup.net> <86h7aa4kag.fsf@gmail.com> X-Mailer: Claws Mail 4.0.0 (GTK+ 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 53165-done Cc: 53165-done@debbugs.gnu.org, raingloom X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Since then, this has been fixed: guix import opam coq-of-ocaml ... (description "This package lacks a description. Run \"info '(guix) Synopses and Descriptions'\" for more information.") ... So, closing :) From unknown Tue Jun 17 01:46:22 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 10 Jul 2022 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator