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 SAA18676; Mon, 19 Mar 2001 18:33:24 +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 SAA18775 for ; Mon, 19 Mar 2001 18:33:23 +0100 (MET) Received: from math.berkeley.edu (gold.Math.Berkeley.EDU [169.229.58.61]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f2JHXM929848 for ; Mon, 19 Mar 2001 18:33:22 +0100 (MET) Received: from blue1.math.Berkeley.EDU (blue1.Math.Berkeley.EDU [169.229.58.58]) by math.berkeley.edu (8.9.3/8.9.3) with ESMTP id JAA09734; Mon, 19 Mar 2001 09:33:20 -0800 (PST) Received: (from datta@localhost) by blue1.math.Berkeley.EDU (8.9.3/8.9.3) id JAA26533; Mon, 19 Mar 2001 09:33:20 -0800 (PST) Date: Mon, 19 Mar 2001 09:33:20 -0800 From: Ruchira Datta To: caml-list@inria.fr Subject: Re: [Caml-list] lablgtk polymorphic variants question Message-ID: <20010319093320.A21959@blue1.berkeley.edu> Reply-To: datta@math.berkeley.edu Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Sven LUTHER wrote: >On Sun, Mar 18, 2001 at 10:13:50PM -0800, Ruchira Datta wrote: >> I tried to compile lablgtkmathview but ran into an error. I would guess >> that it probably compiled under OCaml 3.00 but doesn't for me since I have >> 3.01. I have lablgtk 1.2.0. (Everything is from Sven Luther's Debian >> packages, except lablgtkmathview and mlminidom which don't seem to be >> packaged yet.) The error: >Yes, there are packages of it, Stefano Zacchiroli did them, and i uploaded >them for him, since i am sponsoring him, and he is not yet a debian >maintainer. Please contact him at : zack@cs.unibo.it. You uploaded them where? I searched unstable and didn't find them. I even looked in Incoming. I had already installed libgtkmathview0, libgtkmathview-bin, libgtkmathview-dev, libminidom0, and libminidom-dev, if you were referring to any of those. The two I am referring to are the OCaml bindings. If the versions I downloaded from Luca Padovani's site (namely mlminidom-0.0.1 and lablgtkmathview-0.2.2) had been packaged, they would have had dependencies on ocaml(>=3.00), and what I am finding is that lablgtkmathview would also have had another dependency on ocaml(<=3.00). But I will contact Stefano Zacchiroli as you suggest. Ruchira Datta datta@math.berkeley.edu ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr