[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Demexp-dev] Re: Before merging ketty's branch

From: Thomas Petazzoni
Subject: Re: [Demexp-dev] Re: Before merging ketty's branch
Date: Sat, 14 Oct 2006 10:52:46 +0200

Hi !

Le Fri, 13 Oct 2006 22:45:53 +0200,
David MENTRE <address@hidden> a écrit :

> Yes. A clean fix (Caml_int CDuce type) is available in latest CDuce
> release (0.4.1 IIRC). As soon as Thomas updates his Debian package of
> cduce, I'll use that type and that should work out of the box on
> AMD64.

cduce 0.4.1 is available in Debian unstable since 9 days, and will
migrate to testing tomorrow.



PETAZZONI Thomas - address@hidden 
http://{thomas,sos,kos} - Jabber: address@hidden
http://{agenda,livret} -
Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E  1624 F653 CB30 98D3 F7A7

Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]