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 47D8D824E4 for ; Wed, 5 Dec 2018 23:37:45 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.56,319,1539640800"; d="scan'208";a="358998418" Received: from bou78-2-82-240-46-163.fbx.proxad.net (HELO MP-41019.local) ([82.240.46.163]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 05 Dec 2018 23:37:45 +0100 From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= To: caml users References: <857e779d-0569-e73a-115d-764aa6a545d9@inria.fr> Message-ID: Date: Wed, 5 Dec 2018 23:37:45 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:60.0) Gecko/20100101 Thunderbird/60.3.2 MIME-Version: 1.0 In-Reply-To: <857e779d-0569-e73a-115d-764aa6a545d9@inria.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: fr Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] [ANN] New release of fix Le 05/12/2018 à 21:27, François Pottier a écrit : > The library can be installed as follows: > >   opam update && opam install fix.20181130 Wait -- my opam package description is broken and installs nothing. I will try to fix it soon. In the meantime, this should work: git clone https://gitlab.inria.fr/fpottier/fix.git cd fix && make -C src install -- François Pottier francois.pottier@inria.fr http://gallium.inria.fr/~fpottier/