[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.
See http://packages.qa.debian.org/c/cduce.html
Sincerly,
Thomas
--
PETAZZONI Thomas - address@hidden
http://{thomas,sos,kos}.enix.org - Jabber: address@hidden
http://{agenda,livret}dulibre.org - http://www.toulibre.org
Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7
signature.asc
Description: PGP signature
- [Demexp-dev] Re: Before merging ketty's branch, (continued)
- [Demexp-dev] Re: Before merging ketty's branch, David MENTRE, 2006/10/13
- [Demexp-dev] Re: Before merging ketty's branch, ketty ., 2006/10/13
- [Demexp-dev] Re: Before merging ketty's branch, David MENTRE, 2006/10/13
- [Demexp-dev] Re: Before merging ketty's branch, ketty ., 2006/10/13
- [Demexp-dev] Re: Before merging ketty's branch, David MENTRE, 2006/10/13
- [Demexp-dev] Re: Before merging ketty's branch, ketty ., 2006/10/13
- Re: [Demexp-dev] Re: Before merging ketty's branch, Frederic Lehobey, 2006/10/13
- Re: [Demexp-dev] Re: Before merging ketty's branch, David MENTRE, 2006/10/14
- Re: [Demexp-dev] Re: Before merging ketty's branch, ketty ., 2006/10/14
- Re: [Demexp-dev] Re: Before merging ketty's branch, David MENTRE, 2006/10/15
- Re: [Demexp-dev] Re: Before merging ketty's branch,
Thomas Petazzoni <=
- Re: [Demexp-dev] Re: Before merging ketty's branch, David MENTRE, 2006/10/14
- Re: [Demexp-dev] Re: Before merging ketty's branch, David MENTRE, 2006/10/15
- Re: [Demexp-dev] Re: Before merging ketty's branch, Thomas Petazzoni, 2006/10/15