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 KAA07834; Fri, 9 Nov 2001 10:45:51 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA07925 for ; Fri, 9 Nov 2001 10:45:50 +0100 (MET) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.44.193]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id fA99jnn02858 for ; Fri, 9 Nov 2001 10:45:50 +0100 (MET) Received: (from luther@localhost) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) id KAA09041 for caml-list@inria.fr; Fri, 9 Nov 2001 10:44:44 +0100 Date: Fri, 9 Nov 2001 10:44:43 +0100 From: Sven To: caml-list@inria.fr Subject: [Caml-list] MMM Message-ID: <20011109104443.A8930@dpt-info.u-strasbg.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0.1i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, ... We debian packager have just had a discution about the oportunity to package MMM in the upcoming debian woody release. I tried to package it some time ago, encoutered a small problem, but did not have the time to go after it really. Now, the question, is someone still using MMM, and if yes for what purpose (i think at least one person seems to use it as array benchmark). I would also like to have the opinion of Pierre and Jun on this subject. Friendly, Sven Luther ------------------- 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