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 RAA09347; Tue, 25 Feb 2003 17:07:49 +0100 (MET) 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 RAA10019 for ; Tue, 25 Feb 2003 17:07:47 +0100 (MET) Received: from mel-rto3.wanadoo.fr (smtp-out-3.wanadoo.fr [193.252.19.233]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h1PG7lT12841 for ; Tue, 25 Feb 2003 17:07:47 +0100 (MET) Received: from mel-rta10.wanadoo.fr (193.252.19.193) by mel-rto3.wanadoo.fr (6.7.015) id 3E0C33B502628B73; Tue, 25 Feb 2003 17:07:35 +0100 Received: from iliana (81.50.248.12) by mel-rta10.wanadoo.fr (6.7.015) id 3E26DAA6016A4521; Tue, 25 Feb 2003 17:07:35 +0100 Received: from luther by iliana with local (Exim 3.36 #1 (Debian)) id 18nhc7-0000wQ-00; Tue, 25 Feb 2003 17:07:27 +0100 Date: Tue, 25 Feb 2003 17:07:26 +0100 To: roberto@dicosmo.org Cc: Sven Luther , Brian Hurt , Francois Rouaix , caml-list@inria.fr Subject: Re: [Caml-list] Alternative proposal: COAN Message-ID: <20030225160726.GA3610@iliana> References: <02103BF1-4835-11D7-B97A-000A95773ED2@rouaix.org> <15963.19322.759255.37091@gargle.gargle.HOWL> <20030225132032.GA2942@iliana> <15963.29013.441245.60727@gargle.gargle.HOWL> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <15963.29013.441245.60727@gargle.gargle.HOWL> User-Agent: Mutt/1.5.3i From: Sven Luther Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Feb 25, 2003 at 02:36:21PM +0100, roberto@dicosmo.org wrote: > Dear Sven, > actually, in the latest version of DemoLinux (a Live CD pretty > older than Knoppix, distribution-independent, even if now based on > Debian) distributed with the CD of free software from > Inria, there is advi, whyzzitex and ocaml preinstalled and > you are pretty welcome to download it from www.demolinux.org > (I had to edit a bit your packages to make it suitable for the Debian > installed in DemoLinux, but it was rather easy work...) Ah, i didn't know that, i will give it a try. It will have the older versions though, i guess. > Now, it is a long time since DemoLinux did not go through a major upgrade, > partly because I still dream of rewriting all the configuration/detection/ > installation stuff in Ocaml, but I did not convince myself to really start > the real work... But if some people is interested ... :-) I am not really sure it is worth it. Friendly, Sven Luther ------------------- 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