Effectivement, merci et désolé.
On Tue, Feb 23, 2016, 09:09 Fabrice Le Fessant <
fabrice.le_fess...@ocamlpro.com> wrote:
> Merci d'avoir vérifié !
> Fabrice
> Le mar. 23 févr. 2016 à 08:04, Jean-Christophe Filliatre <
> jean-christophe.fillia...@lri.fr> a écrit :
>
>> Salut Fabrice,
>>
>> Le chec
Salut Fabrice,
Le checksum était en effet incorrect et ton fix contient le bon checksum
maintenant. J'ajoute Rémy en copie car c'est apparemment lui qui a fait
le paquet opam de combine 0.55.
Amicalement,
--
Jean-Christophe
On 22/02/2016 16:30, Fabrice Le Fessant wrote:
> Hi Jean-Christophe,
>
Merci d'avoir vérifié !
Fabrice
Le mar. 23 févr. 2016 à 08:04, Jean-Christophe Filliatre <
jean-christophe.fillia...@lri.fr> a écrit :
> Salut Fabrice,
>
> Le checksum était en effet incorrect et ton fix contient le bon checksum
> maintenant. J'ajoute Rémy en copie car c'est apparemment lui qui a