GNU logs - #34620, boring messages

Message sent to bug-guix@HIDDEN:

Subject: bug#34620: opam fails
Resent-From: Gabriel Hondet <gabrielhondet@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Fri, 22 Feb 2019 20:58:01 +0000
Resent-Message-ID: <handler.34620.B.155086902325807 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 34620 <at> debbugs.gnu.org
User-agent: mu4e 1.0; emacs 26.1
From: Gabriel Hondet <gabrielhondet@HIDDEN>
Date: Fri, 22 Feb 2019 21:56:21 +0100
Message-ID: <87ef7z1r0q.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha256; protocol="application/pgp-signature"
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
 
 Content preview:  Hi, When I try to use opam, it fails: $ opam install menhir
    
 
 Content analysis details:   (1.3 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was
                             blocked.  See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: ocaml.org]
 -0.0 RCVD_IN_MSPIKE_H2      RBL: Average reputation (+2)
                             [209.51.188.92 listed in wl.mailspike.net]
  1.0 SPF_SOFTFAIL           SPF: sender does not match SPF record (softfail)
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
                             provider (gabrielhondet[at]gmail.com)
  1.3 URI_HEX                URI: URI hostname has long hexadecimal sequence
 -1.0 MAILING_LIST_MULTI     Multiple indicators imply a widely-seen list
                             manager

--=-=-=
Content-Type: text/plain

Hi,

When I try to use opam, it fails:

$ opam install menhir

#=== ERROR while compiling ocaml-system.4.07.1 ================================#
# context     2.0.1 | linux/x86_64 |  | https://opam.ocaml.org#34f81c06
# path        ~/.opam/default/.opam-switch/build/ocaml-system.4.07.1
# command     ~/.opam/opam-init/hooks/sandbox.sh build ocaml gen_ocaml_config.ml
# exit-code   1
# env-file    ~/.opam/log/ocaml-system-12254-60459a.env
# output-file ~/.opam/log/ocaml-system-12254-60459a.out
### output ###
# bwrap: execvp ocaml: No such file or directory

and if I do (in fish)
$ set -x OPAM_USER_PATH_RO /home/gabriel/.guix-profile/bin/

then I obtain the error:

$ opam install menhir

#=== ERROR while compiling ocaml-system.4.07.1 ================================#
# context     2.0.1 | linux/x86_64 |  | https://opam.ocaml.org#34f81c06
# path        ~/.opam/default/.opam-switch/build/ocaml-system.4.07.1
# command     ~/.opam/opam-init/hooks/sandbox.sh build ocaml gen_ocaml_config.ml
# exit-code   1
# env-file    ~/.opam/log/ocaml-system-13887-6cc03f.env
# output-file ~/.opam/log/ocaml-system-13887-6cc03f.out
### output ###
# bwrap: Can't mkdir parents for /home/gabriel/.guix-profile/bin/: No such file or directory

Any idea on how to fix this?

Thanks,
Gabriel

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxwYfUACgkQMbyBBfZZ
1CXOzQ//UYZYEt3eSbYNH+PSFe5+pY7pfR3BTmoZJPTnGGZtSVZV5cSHZZH8l4AB
UOfA1zPX1hiyk1wqj8Y70avrdpRLuEMe2KUfkkuLsGvMpGw7GSwQj6mKPbMYACcD
+xZhU3RzlU565MHzZ590ycE2j+vyMvViXT9o78oYIPY/a0WRvFiaZTJw7h6UPSBc
aLAOWQn8ydsXocVGv92EjuyiZH+rZO22jeiBKebRSvaVbjBBD7pYqxscJjzcOTtH
PAH9bQbZP6dK9XMgI2IP3EYU+57MMjjCl4EoxxaJOCa36h/FvDFojlzfP4SjF8wI
Zshq4z+so9fgAOs87UH4oawKGlpLG8mBqsgpLel/MZsP/QvhzAD7gloMv/2BAnBS
rZnOB/ckAZrG7zBbhFsavpxICBibyRSj/7MNs2pAL80jehzzU3/WWhbw0ZYd9gbC
NF4g1QbZrT7Bac81fMa4uaUAZx7MJdtGSeUrg0jtYMv3CpdpqOgNcYPahkYMJRpn
K6iJdhDF6QAbmwtc2g/QvSDT07P4pFEgsFrXXg9W0hYwkws15MvfRwuHiwIAkXef
tJ/AqnXZElfAP5PF+X1zRV/kmZ26md5zNCmdtpuheA/qayiyyXG25bplIKDz73jW
t1ucGC1saTpYF6eIFNR/t14tnpn6Y/DsYNXlaS9QAziprdfn0GU=
=F3VW
-----END PGP SIGNATURE-----
--=-=-=--

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Gabriel Hondet <gabrielhondet@HIDDEN>
Subject: bug#34620: Acknowledgement (opam fails)
Message-ID: <handler.34620.B.155086902325807.ack <at> debbugs.gnu.org>
References: <87ef7z1r0q.fsf@HIDDEN>
X-Gnu-PR-Message: ack 34620
X-Gnu-PR-Package: guix
Reply-To: 34620 <at> debbugs.gnu.org
Date: Fri, 22 Feb 2019 20:58:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guix@HIDDEN

If you wish to submit further information on this problem, please
send it to 34620 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
34620: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D34620
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guix@HIDDEN:

Subject: bug#34620: opam fails
Resent-From: Julien Lepiller <julien@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Fri, 22 Feb 2019 21:42:02 +0000
Resent-Message-ID: <handler.34620.B34620.155087171230256 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Gabriel Hondet <gabrielhondet@HIDDEN>,34620 <at> debbugs.gnu.org
Date: Fri, 22 Feb 2019 22:41:35 +0100
User-Agent: K-9 Mail for Android
In-Reply-To: <87ef7z1r0q.fsf@HIDDEN>
References: <87ef7z1r0q.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable
From: Julien Lepiller <julien@HIDDEN>
Message-ID: <338B07A5-8A13-4526-BC9F-B9A38E7C899E@HIDDEN>
 
 Content preview:  Le 22 =?UTF-8?Q?f=C3=A9vrier?= 2019 21:56:21 GMT+01:00, Gabriel Hondet <gabrielhondet@HIDDEN>
    a =?UTF-8?Q?=C3=A9crit?= : >Hi, > >When I try to use opam, it fails: > >$ opam install menhir
    > >#=== ERROR while compiling ocaml-syste [...] 
 
 Content analysis details:   (2.6 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was
                             blocked.  See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: ocaml.org]
  1.2 RCVD_IN_BL_SPAMCOP_NET RBL: Received via a relay in
                             bl.spamcop.net
              [Blocked - see <https://www.spamcop.net/bl.shtml?62.210.116.201>]
  1.3 URI_HEX                URI: URI hostname has long hexadecimal sequence
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 1.6 (+)
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:  Le 22 =?UTF-8?Q?f=C3=A9vrier?= 2019 21:56:21 GMT+01:00, Gabriel Hondet <gabrielhondet@HIDDEN>
    a =?UTF-8?Q?=C3=A9crit?= : >Hi, > >When I try to use opam, it fails: > >$ opam install menhir
    > >#=== ERROR while compiling ocaml-syste [...] 
 
 Content analysis details:   (1.6 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was
                             blocked.  See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: gen_ocaml_config.ml]
  1.2 RCVD_IN_BL_SPAMCOP_NET RBL: Received via a relay in
                             bl.spamcop.net
              [Blocked - see <https://www.spamcop.net/bl.shtml?62.210.116.201>]
  1.3 URI_HEX                URI: URI hostname has long hexadecimal sequence
 -1.0 MAILING_LIST_MULTI     Multiple indicators imply a widely-seen list
                             manager

Le 22 f=C3=A9vrier 2019 21:56:21 GMT+01:00, Gabriel Hondet <gabrielhondet@g=
mail=2Ecom> a =C3=A9crit :
>Hi,
>
>When I try to use opam, it fails:
>
>$ opam install menhir
>
>#=3D=3D=3D ERROR while compiling ocaml-system=2E4=2E07=2E1
>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D#
># context     2=2E0=2E1 | linux/x86_64 |  | https://opam=2Eocaml=2Eorg#34=
f81c06
># path        ~/=2Eopam/default/=2Eopam-switch/build/ocaml-system=2E4=2E0=
7=2E1
># command     ~/=2Eopam/opam-init/hooks/sandbox=2Esh build ocaml
>gen_ocaml_config=2Eml
># exit-code   1
># env-file    ~/=2Eopam/log/ocaml-system-12254-60459a=2Eenv
># output-file ~/=2Eopam/log/ocaml-system-12254-60459a=2Eout
>### output ###
># bwrap: execvp ocaml: No such file or directory
>
>and if I do (in fish)
>$ set -x OPAM_USER_PATH_RO /home/gabriel/=2Eguix-profile/bin/
>
>then I obtain the error:
>
>$ opam install menhir
>
>#=3D=3D=3D ERROR while compiling ocaml-system=2E4=2E07=2E1
>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D#
># context     2=2E0=2E1 | linux/x86_64 |  | https://opam=2Eocaml=2Eorg#34=
f81c06
># path        ~/=2Eopam/default/=2Eopam-switch/build/ocaml-system=2E4=2E0=
7=2E1
># command     ~/=2Eopam/opam-init/hooks/sandbox=2Esh build ocaml
>gen_ocaml_config=2Eml
># exit-code   1
># env-file    ~/=2Eopam/log/ocaml-system-13887-6cc03f=2Eenv
># output-file ~/=2Eopam/log/ocaml-system-13887-6cc03f=2Eout
>### output ###
># bwrap: Can't mkdir parents for /home/gabriel/=2Eguix-profile/bin/: No
>such file or directory
>
>Any idea on how to fix this?
>
>Thanks,
>Gabriel

That's thc limit of opam here, it always tries to install ocaml package wi=
th the ocaml compiler=2E Don't you have a compiler in your switch already t=
hough? If so, I wonder why it's not found=2E Could you try to modify your $=
PATH to add it?

Message sent to bug-guix@HIDDEN:

Subject: bug#34620: Acknowledgement (opam fails)
Resent-From: Gabriel Hondet <gabrielhondet@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sat, 23 Feb 2019 16:59:01 +0000
Resent-Message-ID: <handler.34620.B34620.15509411406489 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 34620 <at> debbugs.gnu.org
References: <87ef7z1r0q.fsf@HIDDEN>
 <handler.34620.B.155086902325807.ack <at> debbugs.gnu.org>
User-agent: mu4e 1.0; emacs 26.1
From: Gabriel Hondet <gabrielhondet@HIDDEN>
In-reply-to: <handler.34620.B.155086902325807.ack <at> debbugs.gnu.org>
Date: Sat, 23 Feb 2019 17:58:49 +0100
Message-ID: <87bm321lx2.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha256; protocol="application/pgp-signature"
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

--=-=-=
Content-Type: text/plain

Hi again,

After some experiments, and after looking at what did Nix, it seems that
wrapping opam does the trick (with a .opam-real and a opam).  I'll try
this and make a patch.

Cheers,
Gabriel


--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxxe8oACgkQMbyBBfZZ
1CXcbA/+IjNqT4WbE2hC6bf7lLmcbphB8Cs+J38ugewrkodHOTVA7Q1hZBbMJw9M
1aAzIBuAwUbUEYHyU/5bx0iA5g8GHel5G1mJG16lSaJwuaNS4pSJTaoaXI1MYLvj
txzHp0aedfh5xiht6hRu4SNzRoKgnSlpAYFcg0OiyL1wjaxFh44bX3cDOwRtuAHU
fUjA8O44Po4mOIeM5LsJlIlsUgSrCnr6wl+Qtoqk3dAC5/X16zY6eDg0t25ozTEl
eAjQa45fLjxxSPzSLRp2XEHegraeRzlNOXa6RANPBlu2UcVFynnikU3i12E21gH5
IPqcN0ReXRADDhSZIf1gi3c7nyfvD6DMD+tE3CBVtg7l9T1TOxYD4ct6GKK9PRKk
UayT45sN7gqsfnoEBlP1FAQOrJzq238eT3/WJEA/dGjr1lWEnwEI6SbM9xxQDVpt
xsXkg7x49oJy6J4SHerfGFbQc03dfbSWzCDhDCCblyRWp42pSejsyTAP4P88Q8BD
HitEKHR7W8gOrro/4V1B/dIcYH4VHIu5tffPcrmlqOtBisJ4b0qxWrHG9DuJxxlB
PwJO/XYTIMbVhvXBZ9Kat62MuQAEnQHEGz/H/gdtIFz6Drl+b1L6GfrpTeMQZP2j
4eL7jw9rS/5FshMLorGpH2+9GYhOnXY/By0lBvWoZ4LufA25Ml8=
=vKDI
-----END PGP SIGNATURE-----
--=-=-=--

Message sent to bug-guix@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#34620: Acknowledgement (opam fails)
Resent-From: Gabriel Hondet <gabrielhondet@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sun, 24 Feb 2019 07:45:02 +0000
Resent-Message-ID: <handler.34620.B34620.155099424322556 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 34620
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: 34620 <at> debbugs.gnu.org
Received: via spool by 34620-submit <at> debbugs.gnu.org id=B34620.155099424322556
          (code B ref 34620); Sun, 24 Feb 2019 07:45:02 +0000
Received: (at 34620) by debbugs.gnu.org; 24 Feb 2019 07:44:03 +0000
Received: from localhost ([127.0.0.1]:49781 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1gxoSA-0005rj-OH
	for submit <at> debbugs.gnu.org; Sun, 24 Feb 2019 02:44:02 -0500
Received: from mail-wr1-f51.google.com ([209.85.221.51]:39478)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <gabrielhondet@HIDDEN>) id 1gxoS9-0005r7-7l
 for 34620 <at> debbugs.gnu.org; Sun, 24 Feb 2019 02:44:01 -0500
Received: by mail-wr1-f51.google.com with SMTP id l5so6560781wrw.6
 for <34620 <at> debbugs.gnu.org>; Sat, 23 Feb 2019 23:44:01 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
 h=references:user-agent:from:to:subject:in-reply-to:date:message-id
 :mime-version; bh=UFp+NvGNsC7Nbt2FLJsxpW/YdfWFg/vRIF2OB6Itjic=;
 b=nTH4shudKmfWbhStyYtQ/PP7QwqT6R8aMqymmCjtZ9m2LTyVU/o031j4/JUCt6IQpv
 lOGxdNAuROxr2NIvI54CQW+Iax4w28e7msxi9jYakx0OTxsl2oIOdfeo0FGyEHwazpHf
 A8049CeozD8rtOy8JJWhzjpo4nIAzTi2EXItbr6C5Q7wdHxMPv2PwqPkoik6hkcFsszZ
 JorLEC/beIBO9uKWBtyZmJDxD8iPUHIdp9g/eiDEvFWMAg9ggAkYlhGzOShCRprPYCT2
 2+P1L5AU8L7vEPscUrO2cnEi6rwhD32qNLu/RLRosFPKrOHw5QjOSnRab5kYYizyX/O8
 IkEA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:references:user-agent:from:to:subject
 :in-reply-to:date:message-id:mime-version;
 bh=UFp+NvGNsC7Nbt2FLJsxpW/YdfWFg/vRIF2OB6Itjic=;
 b=AC4wln8V78vcacSujSR4YIAhXHBPMAenpMdKWGFoTboUT8fnXWrg1nl1ADQARTW++V
 I1aEYI6z9YwpkOBfPhxzwbRxRixXGbviFojTk8RS90YJUE726bCiJNk5iN0tJGDDosMN
 AfM2Epaq17zFzxLgriXVO49Ruu5UJi1F/A+Q0OFzF5fGzyAGCpqJGcTjq3ZKj0lROkM8
 tuLEEwbkCYY1qa88Sq13//32h1UnKy3QeuIT4KgpUSB/W7FaZdip/at+F3HPODtzkiUY
 9xR9o350ZC+vrTUtJqULc1kTKWzLRk5oHp4DVY00oesvzY1mWtrKhiv61RT7VQlCUR/+
 V7LA==
X-Gm-Message-State: AHQUAuYyFxaMHWybxzYcbL/YB73U5aQ38ESb1M+OZfTA0plmAHDJZIZx
 1M3oxVLMBD8nfpY6+hgGLRvAUkJi
X-Google-Smtp-Source: AHgI3IaJzOVeZ8a/p/5kzLvo0aQOh/ek6oUJi+w2tdsbBt7fCqiGv7DbXPogNlolAPzYMFt5roLoBg==
X-Received: by 2002:a5d:4804:: with SMTP id l4mr8791730wrq.177.1550994235230; 
 Sat, 23 Feb 2019 23:43:55 -0800 (PST)
Received: from glht-aurore.gmail.com
 (2a01cb04062c860082fa5bfffe3823d7.ipv6.abo.wanadoo.fr.
 [2a01:cb04:62c:8600:82fa:5bff:fe38:23d7])
 by smtp.gmail.com with ESMTPSA id u4sm3223203wmb.25.2019.02.23.23.43.53
 for <34620 <at> debbugs.gnu.org>
 (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256);
 Sat, 23 Feb 2019 23:43:54 -0800 (PST)
References: <87ef7z1r0q.fsf@HIDDEN>
 <handler.34620.B.155086902325807.ack <at> debbugs.gnu.org>
 <87bm321lx2.fsf@HIDDEN>
User-agent: mu4e 1.0; emacs 26.1
From: Gabriel Hondet <gabrielhondet@HIDDEN>
In-reply-to: <87bm321lx2.fsf@HIDDEN>
Date: Sun, 24 Feb 2019 08:43:47 +0100
Message-ID: <878sy51vik.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha256; protocol="application/pgp-signature"
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

--=-=-=
Content-Type: text/plain

Hello,

Wrapping works except that the binary can't find libraries, how can I
add the libraries of the profile (e.g. =asm/socket.h= or =crti.o=) in
the wrapper?  The matter is to get the path of a profile (as if it was a
package in the ~inputs~ of the function).

Gabriel

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxySzMACgkQMbyBBfZZ
1CXf3w/7BqAHbxxB0h9Iy5NzPP+of25DPpkVdBTBvFL1TkTPDYWXiDfzUVH1sakA
qR2/mXPw0dO8EJJXayVNN0PVIOu0LNeyBQVi2bFZfEbu//6wo2Xr9DbEf3vjBWVv
iOMXBtmmucQGanso32rnpA3POqKh4q8RCXiM1L8O+5X7Z78gTF5fwftPxURx3XIq
AlG0qxfy9dh1YiYPc0UaSXhhQskmg6dn3Yr7x/o6i3PGU/ANrCm3KawxSB8+0/zG
t6LrS6Dql8JObJsrdfKwaMHDwpnLacbMlq0NIfmpOIBMnbFwCW+zDi6E/+PQz4zX
jIyIIMDsfVn2AywRyEdBBKlsJ27kyeH+oBf5oiyhMIlgG88SKNANfb5XcyFT/VBt
Akb3okJXBgfQpcjVILC/4eMio7Qi1oMwg+T1OU0YSlgTslJsGhy/cCgmyKfbEmRD
0cwFpQshoxyqOTumFAEJUG8oGOYmOsSPGF5UhfMYD4usB242ADPSyOrci0X2ZVdY
eJQ+cdxiGnlQP6k/KJpanK4YOxdhgGt5PQVgriqjOUJWmoZ9zq8f190pI79AWa8A
FAl1EKOIENYaDR03hnbt2g7+oYdZCoxu5xCry5EhWKfMEt7ND83CmXOzIaACPunm
GoA0FIJkqEjy6H3l62ARuBa2WCPoEk/9NrCo3jfIhIdAuHEboOg=
=zq1W
-----END PGP SIGNATURE-----
--=-=-=--

Message sent to bug-guix@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#34620: Acknowledgement (opam fails)
Resent-From: Julien Lepiller <julien@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sun, 24 Feb 2019 10:16:01 +0000
Resent-Message-ID: <handler.34620.B34620.15510033604624 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 34620
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: Gabriel Hondet <gabrielhondet@HIDDEN>,34620 <at> debbugs.gnu.org
Received: via spool by 34620-submit <at> debbugs.gnu.org id=B34620.15510033604624
          (code B ref 34620); Sun, 24 Feb 2019 10:16:01 +0000
Received: (at 34620) by debbugs.gnu.org; 24 Feb 2019 10:16:00 +0000
Received: from localhost ([127.0.0.1]:49850 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1gxqpE-0001CV-Eo
	for submit <at> debbugs.gnu.org; Sun, 24 Feb 2019 05:16:00 -0500
Received: from lepiller.eu ([89.234.186.109]:51980)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <julien@HIDDEN>) id 1gxqpC-0001CL-VQ
 for 34620 <at> debbugs.gnu.org; Sun, 24 Feb 2019 05:15:59 -0500
Received: from [192.168.1.88] (95.141.35.15 [95.141.35.15])
 by lepiller.eu (OpenSMTPD) with ESMTPSA id 7e0e88a2
 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); 
 Sun, 24 Feb 2019 10:15:54 +0000 (UTC)
Date: Sun, 24 Feb 2019 11:15:37 +0100
User-Agent: K-9 Mail for Android
In-Reply-To: <878sy51vik.fsf@HIDDEN>
References: <87ef7z1r0q.fsf@HIDDEN>
 <handler.34620.B.155086902325807.ack <at> debbugs.gnu.org>
 <87bm321lx2.fsf@HIDDEN> <878sy51vik.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable
From: Julien Lepiller <julien@HIDDEN>
Message-ID: <1E11E517-AD19-4999-B775-9D17B081B36E@HIDDEN>
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Le 24 f=C3=A9vrier 2019 08:43:47 GMT+01:00, Gabriel Hondet <gabrielhondet@g=
mail=2Ecom> a =C3=A9crit :
>Hello,
>
>Wrapping works except that the binary can't find libraries, how can I
>add the libraries of the profile (e=2Eg=2E =3Dasm/socket=2Eh=3D or =3Dcrt=
i=2Eo=3D) in
>the wrapper?  The matter is to get the path of a profile (as if it was
>a
>package in the ~inputs~ of the function)=2E
>
>Gabriel

Can you share whbt you've done so far?

Message sent to bug-guix@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#34620: 'opam install menhir' fails
Resent-From: Simon Tournier <zimon.toutoune@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Wed, 11 Oct 2023 10:38:01 +0000
Resent-Message-ID: <handler.34620.B34620.16970206781816 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 34620
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: Gabriel Hondet <gabrielhondet@HIDDEN>
Cc: 34620 <at> debbugs.gnu.org
Received: via spool by 34620-submit <at> debbugs.gnu.org id=B34620.16970206781816
          (code B ref 34620); Wed, 11 Oct 2023 10:38:01 +0000
Received: (at 34620) by debbugs.gnu.org; 11 Oct 2023 10:37:58 +0000
Received: from localhost ([127.0.0.1]:37599 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qqWbG-0000TD-46
	for submit <at> debbugs.gnu.org; Wed, 11 Oct 2023 06:37:58 -0400
Received: from mail-wm1-x335.google.com ([2a00:1450:4864:20::335]:39043)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <zimon.toutoune@HIDDEN>) id 1qqWbA-0000SO-Df
 for 34620 <at> debbugs.gnu.org; Wed, 11 Oct 2023 06:37:54 -0400
Received: by mail-wm1-x335.google.com with SMTP id
 5b1f17b1804b1-406532c49dcso17105455e9.0
 for <34620 <at> debbugs.gnu.org>; Wed, 11 Oct 2023 03:37:30 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1697020645; x=1697625445; darn=debbugs.gnu.org;
 h=content-transfer-encoding:mime-version:user-agent:message-id
 :in-reply-to:date:references:subject:cc:to:from:from:to:cc:subject
 :date:message-id:reply-to;
 bh=Nc8EfkExi4ulWYpLEACrUBCaL/ZTM0wUnoZj2P4w/z4=;
 b=aoUgSPA3DPYYRkyqUCdhwvjeBEpM75V4T6rHuxtDGNzluoMmlY8gV8Hp95Tc2L3R/T
 fDBp/F5+0EZ//W+XHUY/hUvIAzdK69OKwLVVERyNmsTrU1Di+2B4alxIjS9LckvSJ7oe
 XlgLPggJGBFsXMNvCT+H4MBTVM1EhHI4ijUWrgPCoLMit2y8W34uY+WVtqQOwQeeUdg6
 jNp3FdN8LUTxlAJt06VHKWlUMBfy7ruRPGbrIt2z6GhuA/lfaBhsIbwUQ2cwQReVZF7Q
 EridCVVj2nIDLfFWjl4jw5t1k+2QmsyIrE6BvmxzmrB2Gg9FPj4SZ1KE9A1yCJgHL88y
 t77g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1697020645; x=1697625445;
 h=content-transfer-encoding:mime-version:user-agent:message-id
 :in-reply-to:date:references:subject:cc:to:from:x-gm-message-state
 :from:to:cc:subject:date:message-id:reply-to;
 bh=Nc8EfkExi4ulWYpLEACrUBCaL/ZTM0wUnoZj2P4w/z4=;
 b=Zko6TYOlAj8dqX77MTna3s4gJwPrNDm3tJLL88oaETBciZ9R3E6qDBEq+DeKJ9NxAd
 gNAAj9xY7WvGXsgMZFz7Ht/g40WqSUD6gZSnUdX7dgRRkQ3ypUQucqUyOMTgelLWA/1V
 WoYZYRhCHimEmVTwOnvXiInqvVzdJgu8xrgrX6s4wpZzPh66xnTnYZ5EwJLujZOQSnx6
 SWNa7qFZUaSfvdG/G9Rrwdg6AfFurEeW3kX2+oPMgXT6FwOPER4bLci1yLZiFYLBiO+9
 bZYfdkhqzyJCbmzcy25Pxs7cSCmmqz+K5RRXkZ3qqNgqWgE5FZAD9gS++mK9jn2HIW3v
 G3iQ==
X-Gm-Message-State: AOJu0YyvkzyW5/4qW/szEH11muVANCTosjAy4xxGnaPeRKAzTLTkJY6y
 1NmjqJgtg3PI4RrWUGgLU8q29DMHWy4=
X-Google-Smtp-Source: AGHT+IFkNC7B/8lJdYjs22On+x8IWNrOBRJ95FhyJo4VVHddYP89Xn2QJw5QTfxOaBW9FA2OzHBEEw==
X-Received: by 2002:a05:600c:3511:b0:405:4280:341d with SMTP id
 h17-20020a05600c351100b004054280341dmr18226545wmq.4.1697020644960; 
 Wed, 11 Oct 2023 03:37:24 -0700 (PDT)
Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e])
 by smtp.gmail.com with ESMTPSA id
 g23-20020a7bc4d7000000b004055858e7d8sm18712421wmk.7.2023.10.11.03.37.24
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Wed, 11 Oct 2023 03:37:24 -0700 (PDT)
From: Simon Tournier <zimon.toutoune@HIDDEN>
References: <87ef7z1r0q.fsf@HIDDEN>
Date: Wed, 11 Oct 2023 10:58:21 +0200
In-Reply-To: <87ef7z1r0q.fsf@HIDDEN> (Gabriel Hondet's message of "Fri, 22
 Feb 2019 21:56:21 +0100")
Message-ID: <86pm1llemq.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Hi,

Digging some old bugs about OCaml, I hit #34620:

    https://issues.guix.gnu.org/issue/34620

On Fri, 22 Feb 2019 at 21:56, Gabriel Hondet <gabrielhondet@HIDDEN> wrot=
e:

> $ opam install menhir
>
> #=3D=3D=3D ERROR while compiling ocaml-system.4.07.1 =3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D#
> # context     2.0.1 | linux/x86_64 |  | https://opam.ocaml.org#34f81c06
> # path        ~/.opam/default/.opam-switch/build/ocaml-system.4.07.1
> # command     ~/.opam/opam-init/hooks/sandbox.sh build ocaml gen_ocaml_co=
nfig.ml
> # exit-code   1
> # env-file    ~/.opam/log/ocaml-system-12254-60459a.env
> # output-file ~/.opam/log/ocaml-system-12254-60459a.out
> ### output ###
> # bwrap: execvp ocaml: No such file or directory
>
> and if I do (in fish)
> $ set -x OPAM_USER_PATH_RO /home/gabriel/.guix-profile/bin/
>
> then I obtain the error:
>
> $ opam install menhir
>
> #=3D=3D=3D ERROR while compiling ocaml-system.4.07.1 =3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D#
> # context     2.0.1 | linux/x86_64 |  | https://opam.ocaml.org#34f81c06
> # path        ~/.opam/default/.opam-switch/build/ocaml-system.4.07.1
> # command     ~/.opam/opam-init/hooks/sandbox.sh build ocaml gen_ocaml_co=
nfig.ml
> # exit-code   1
> # env-file    ~/.opam/log/ocaml-system-13887-6cc03f.env
> # output-file ~/.opam/log/ocaml-system-13887-6cc03f.out
> ### output ###
> # bwrap: Can't mkdir parents for /home/gabriel/.guix-profile/bin/: No suc=
h file or directory

Today, using Guix 6113e05, I get:

--8<---------------cut here---------------start------------->8---
$ which opam
/home/simon/.config/guix/profiles/compiler/compiler/bin/opam

$ opam install menhir
The following actions will be performed:
  =E2=86=BB recompile ocamlfind         1.9.5    [upstream or system change=
s]
  =E2=86=BB recompile dune              3.6.1    [upstream or system change=
s]
  =E2=88=97 install   menhirSdk         20230608 [required by menhir]
  =E2=88=97 install   menhirLib         20230608 [required by menhir]
  =E2=86=BB recompile csexp             1.5.1    [uses dune]
  =E2=86=BB recompile cppo              1.6.9    [uses dune]
  =E2=88=97 install   menhir            20230608
  =E2=86=BB recompile merlin-lib        4.7-414  [uses dune]
  =E2=86=BB recompile yojson            2.0.2    [uses dune]
  =E2=86=BB recompile dot-merlin-reader 4.6      [upstream or system change=
s]
  =E2=86=BB recompile merlin            4.7-414  [uses dot-merlin-reader, d=
une]
=3D=3D=3D=3D=3D =E2=88=97 3   =E2=86=BB 8 =3D=3D=3D=3D=3D
Do you want to continue? [Y/n] Y
Y

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><=
><><>
=E2=AC=87 retrieved cppo.1.6.9  (cached)
=E2=AC=87 retrieved csexp.1.5.1  (cached)
=E2=AC=87 retrieved dot-merlin-reader.4.6  (cached)
=E2=AC=87 retrieved dune.3.6.1  (cached)
=E2=AC=87 retrieved menhir.20230608  (https://opam.ocaml.org/cache)
=E2=AC=87 retrieved merlin.4.7-414  (cached)
=E2=AC=87 retrieved merlin-lib.4.7-414  (cached)
=E2=AC=87 retrieved ocamlfind.1.9.5  (cached)
=E2=AC=87 retrieved yojson.2.0.2  (cached)
=E2=AC=87 retrieved menhirLib.20230608  (https://opam.ocaml.org/cache)
[ERROR] The compilation of ocamlfind.1.9.5 failed at "make all".
=E2=AC=87 retrieved menhirSdk.20230608  (https://opam.ocaml.org/cache)

#=3D=3D=3D ERROR while compiling ocamlfind.1.9.5 =3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D#
# context     2.1.3 | linux/x86_64 | ocaml.4.14.0 | https://opam.ocaml.org#=
368128df
# path        ~/.opam/default/.opam-switch/build/ocamlfind.1.9.5
# command     ~/.opam/opam-init/hooks/sandbox.sh build make all
# exit-code   2
# env-file    ~/.opam/log/ocamlfind-218324-578149.env
# output-file ~/.opam/log/ocamlfind-218324-578149.out
### output ###
# [...]
# File "frontend.ml", line 859, characters 10-39:
# 859 |           Fl_package_base.package_users predicates1 packages1
#                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label preds was omitted in the application of=
 this function.
# ocamlc -I +compiler-libs  -o ocamlfind -g findlib.cma unix.cma \
#            -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
# File "_none_", line 1:
# Error: Error while linking /gnu/store/9pa7j2sdlzsvbxczbn1xmnycxaddzz0c-oc=
aml-5.0.0/lib/ocaml/unix/unix.cma(Unix):
#        The external function `caml_unix_waitpid' is not available
# make[1]: *** [Makefile:53: ocamlfind] Error 2
# make[1]: Leaving directory '/home/simon/.opam/default/.opam-switch/build/=
ocamlfind.1.9.5/src/findlib'
# make: *** [Makefile:14: all] Error 2


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><=
><><>
=E2=94=8C=E2=94=80 The following actions failed
=E2=94=82 =CE=BB build ocamlfind 1.9.5
=E2=94=94=E2=94=80
=E2=95=B6=E2=94=80 No changes have been performed
# Run eval $(opam env) to update the current shell environment
--8<---------------cut here---------------end--------------->8---

Well, I think it is another kind of bug than the reported one.

Closing?

Cheers,
simon

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 11 Oct 2023 10:38:03 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Oct 11 06:38:03 2023
Received: from localhost ([127.0.0.1]:37608 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qqWbK-0000U6-LT
	for submit <at> debbugs.gnu.org; Wed, 11 Oct 2023 06:38:03 -0400
Received: from mail-wm1-x329.google.com ([2a00:1450:4864:20::329]:39032)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <zimon.toutoune@HIDDEN>) id 1qqWbB-0000SR-P3
 for control <at> debbugs.gnu.org; Wed, 11 Oct 2023 06:37:57 -0400
Received: by mail-wm1-x329.google.com with SMTP id
 5b1f17b1804b1-406532c49dcso17105525e9.0
 for <control <at> debbugs.gnu.org>; Wed, 11 Oct 2023 03:37:31 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1697020646; x=1697625446; darn=debbugs.gnu.org;
 h=subject:from:to:message-id:date:from:to:cc:subject:date:message-id
 :reply-to; bh=IxNKEINrUDH04yYMJIcHSuafRomLYBz1/bZufQkWm8w=;
 b=E0UmRGduowJpD2uB01y0eoGsHxUGjpiCKuCgDlhlrUHhTrnc7jaLRC8GlYwhxkg0Lq
 4LBCZh4x2pTVeChlMdQv/0iYIABycBKyKILs8U3bfInCAKin1rW/Y1UP/oWYl3jenGu+
 zMlOvlkrVIzilY2Rojx9CaW2bkOwkI+8huftsh3fnmB1w9oMNqR+eN+G/BB4VHJWCHAB
 qmMqGPQOCd+610WEchStcveTBxdoz88aZPyfX4vrXWl6LyyL73lc1W0F1c/R2qR4whop
 Xvp0Ziy3VydPg1RZW3aWwzLGPNKjr73TLMwskEBRFhKVLaSUQA2fz4Hgb44mF5kf36sU
 TCRw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1697020646; x=1697625446;
 h=subject:from:to:message-id:date:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=IxNKEINrUDH04yYMJIcHSuafRomLYBz1/bZufQkWm8w=;
 b=lw/yYUICFArACRXakA/y9+IA9QjK4ryUbfbHNcHreZ5MKAM3Awjr+qAHKJCT/lrRHu
 MCxYoQOKqdLKBwYt3VfCGFDefE0P52mdAoYLnLF68GzOEPTtWSsMW9oMLWt6eTQZgUvE
 9pCygTj+BdUNhgzFoRzYvTXmyyB5JOOAVPtf7H33w7YIWRixoCnISLEK+brooeqZWN/n
 +LG4Z9DUGOobwQF6bz9+rNY0rtJYrRZZJa7lVFNNTP8MDqXVDnIpxTEW6/YPCwoPJwgw
 H18EiHMh7Wn1RpNJogkvDS3oEPdfoV6FnVPZsPhuZbC4MhBw+AXKA16RK868tADESd4b
 Gbig==
X-Gm-Message-State: AOJu0Yxl1dhkMysNy9haJCZfefGwcDzekuN8lQWuaIwMC6oBZqNimPVk
 1JFNfHX6cK7ir3fvglwPUHxPLEYAVv4=
X-Google-Smtp-Source: AGHT+IGjVEeoeraIdcnh8zNBwp+mvgMRZBLKGOS8iAlWX7SLIrWb2KzxZY5TLvwWIrYKJLZhw2ox3w==
X-Received: by 2002:a05:600c:3511:b0:405:4280:341d with SMTP id
 h17-20020a05600c351100b004054280341dmr18226589wmq.4.1697020646201; 
 Wed, 11 Oct 2023 03:37:26 -0700 (PDT)
Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e])
 by smtp.gmail.com with ESMTPSA id
 q5-20020a7bce85000000b0040596352951sm18853323wmj.5.2023.10.11.03.37.25
 for <control <at> debbugs.gnu.org>
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Wed, 11 Oct 2023 03:37:25 -0700 (PDT)
Date: Wed, 11 Oct 2023 10:58:52 +0200
Message-Id: <86o7h5lelv.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: Simon Tournier <zimon.toutoune@HIDDEN>
Subject: control message for bug #34620
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

retitle 34620 failure of 'opam install menhir'
quit

Last modified: Wed, 11 Oct 2023 10:45:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.