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 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 Many thanks François! It's good to know there is no known solution. :) I'll suggest your workaround. Best wishes, Sébastien.