From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 11AE05D5 for ; Tue, 6 Apr 2021 12:53:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,309,1610406000"; d="scan'208";a="501781531" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Apr 2021 14:53:00 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B871FE1D42; Tue, 6 Apr 2021 14:53:00 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A8AC2E0171 for ; Tue, 6 Apr 2021 14:52:56 +0200 (CEST) IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AP4rCg6yq+VOsWb5eJboPKrPwlb1zdoIgy1kn?= =?us-ascii?q?xilNYDZSddGVkN3rsfQAzBnviCsQXnZIo6HkBICrR3TA+ZlppbQLNbC5UwX8/E?= =?us-ascii?q?euJodu7YztqgeQfxHW3OhbyKtmbuxCGMT9ZGIK7/rSzQGkH78bquWv37uvgY7l?= =?us-ascii?q?oktFbQYvUK146hc8NwDzKDwQeCBjJb4UUKWR/dBGoT3IQwV1Uu2eDnkBG8fEot?= =?us-ascii?q?jMio7+JSMBbiRH1CCrgSmz4LD3Vzi0ty1xbxp1zb0v8XfInmXCj83Jj9iBxhDR?= =?us-ascii?q?zGPV5ZhN8eGA9vJ4GMeOhsIJQw+Cti+UYu1aN4G/gA=3D=3D?= X-IronPort-AV: E=Sophos;i="5.81,309,1610406000"; d="scan'208";a="501781460" Received: from prajna.paris.inria.fr ([128.93.65.171]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Apr 2021 14:52:18 +0200 Received: from shindere by prajna.paris.inria.fr with local (Exim 4.94) (envelope-from ) id 1lTlBq-000gSl-6o for caml-list@inria.fr; Tue, 06 Apr 2021 14:52:18 +0200 Date: Tue, 6 Apr 2021 14:52:18 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: Mail-Followup-To: caml-list@inria.fr References: <15101c521ea9c12d52ba7d3aa7a977b1@ligand.eu> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <15101c521ea9c12d52ba7d3aa7a977b1@ligand.eu> Subject: Re: [Caml-list] Making ocamlfindinstall less verbose Reply-To: =?utf-8?Q?S=C3=A9bastien?= Hinderer X-Loop: caml-list@inria.fr X-Sequence: 18453 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Many thanks François! It's good to know there is no known solution. :) I'll suggest your workaround. Best wishes, Sébastien.