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 RAA09748; Mon, 19 Nov 2001 17:11:15 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA09334 for caml-list@pauillac.inria.fr; Mon, 19 Nov 2001 17:11:15 +0100 (MET) 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 QAA09313 for ; Mon, 19 Nov 2001 16:53:23 +0100 (MET) Received: from cantina.students.cs.unibo.it (cantina.students.cs.unibo.it [130.136.3.110]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fAJFrMb28375 for ; Mon, 19 Nov 2001 16:53:22 +0100 (MET) Received: from lordsoth.takhisis.org ([130.136.32.178]) (authenticated (0 bits)) by cantina.students.cs.unibo.it (8.12.0.Beta19/8.12.0.Beta19/Debian 8.12.0.Beta19) with ESMTP id fAJFrFbE025485 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=192 verify=FAIL) for ; Mon, 19 Nov 2001 16:53:16 +0100 Received: from lordsoth.takhisis.org (localhost [127.0.0.1]) by lordsoth.takhisis.org (8.12.0/8.12.0/Debian -3) with ESMTP id fAJFr092017055 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=FAIL) for ; Mon, 19 Nov 2001 16:53:00 +0100 Received: (from zack@localhost) by lordsoth.takhisis.org (8.12.0/8.12.0/Debian -3) id fAJFr0N0017053 for caml-list@inria.fr; Mon, 19 Nov 2001 16:53:00 +0100 Date: Mon, 19 Nov 2001 16:53:00 +0100 From: Stefano Zacchiroli To: Inria Ocaml Mailing List Subject: [Caml-list] Debian package of CamlIDL released Message-ID: <20011119165300.A16990@cs.unibo.it> Mail-Followup-To: Inria Ocaml Mailing List Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline User-Agent: Mutt/1.3.23i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I announce that Debian package of CamlIDL was released. Currently two binary package generated, namely camlidl and camlidl-doc, are still in incoming and aren't yet part of the debian Sid distribution, but in next days they are added to the official Debian Sid archive. In the meantime if you have a Debian and you want to install the packages, you can go to http://incoming.debian.org/ and download them. Cheers. -- Stefano "Zack" Zacchiroli ICQ# 33538863 Home Page: http://www.cs.unibo.it/~zacchiro Undergraduate student of Computer Science @ University of Bologna, Italy - Information wants to be Open - ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr