From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA12903; Mon, 26 Jul 2004 18:43:24 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA12902 for ; Mon, 26 Jul 2004 18:43:23 +0200 (MET DST) Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i6QGf9SH022165; Mon, 26 Jul 2004 18:41:10 +0200 Received: by yquem.inria.fr (Postfix, from userid 18180) id E0DE2BC78; Mon, 26 Jul 2004 18:41:09 +0200 (CEST) Date: Mon, 26 Jul 2004 18:41:09 +0200 From: Xavier Leroy To: Vitaly Lugovsky Cc: Cuihtlauac ALVARADO , caml-list@inria.fr Subject: Re: [Caml-list] CamlP4 bug, 3.08.0 Message-ID: <20040726164109.GA6618@yquem.inria.fr> References: <20040726160139.GA17634@rd.francetelecom.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.3.28i X-Miltered: at concorde with ID 41053425.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 camlp:01 bug:01 grapevine:99 ocaml:01 ocaml:01 coq:02 coq:02 patches:02 maintainer:04 cvs:05 maybe:06 urgent:92 distribution:07 i'm:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Can I see this code ASAP? I'm a maintainer of a set of the OCaml > packages in the ALT Linux distribution, and this changes blocked > some of the very urgent packages (e.g. Coq 8.0)... I've heard through the grapevine that the development version of Coq has already been adapted to work with OCaml 3.08 and the new Camp4 locations. Maybe it's easier to ask the Coq developers for a set of patches, or extract them through the Coq anonymous CVS. - Xavier Leroy ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners