From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTP id 86DCB5D5
	for <caml-list@inbox.ocaml.org>; Wed,  5 Dec 2018 22:37:56 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.56,319,1539640800"; 
   d="scan'208";a="358998462"
Received: from sympa.inria.fr ([193.51.193.213])
  by mail2-relais-roc.national.inria.fr with ESMTP; 05 Dec 2018 23:37:55 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 6F19682561; Wed,  5 Dec 2018 23:37:55 +0100 (CET)
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 <caml-list@sympa.inria.fr>; 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?= <francois.pottier@inria.fr>
To: caml users <caml-list@inria.fr>
References: <857e779d-0569-e73a-115d-764aa6a545d9@inria.fr>
Message-ID: <a32eabb7-60fe-bac5-a3b4-37f40556f7d0@inria.fr>
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
Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
X-Loop: caml-list@inria.fr
X-Sequence: 17213
Errors-to: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>

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/

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs