From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 03C62BC37 for ; Sun, 8 Nov 2009 20:01:26 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAMWk9kpSQvic/2dsb2JhbADZOIQ+BIFo X-IronPort-AV: E=Sophos;i="4.44,704,1249250400"; d="scan'208";a="39741114" Received: from fbsmtp.dnsalias.org ([82.66.248.156]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Nov 2009 20:01:25 +0100 Received: from [192.168.1.245] (helo=localhost) by fbsmtp.dnsalias.org with smtp (Exim 3.36 #1 (Debian)) id 1N7D0p-000068-00 for ; Sun, 08 Nov 2009 20:01:19 +0100 Date: Sun, 8 Nov 2009 20:01:19 +0100 From: Francois Boisson To: caml-list@yquem.inria.fr Subject: Camlight version 0.80 Message-Id: <20091108200119.5d053a67.francois@boisson.homeip.net> X-Mailer: Sylpheed 2.5.0 (GTK+ 2.12.11; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: 8bit X-Scanner: exiscan *1N7D0p-000068-00*dWvqbpjGAtE* X-Spam: no; 0.00; homeip:01 paquets:01 paquets:01 homeip:01 remplace:01 remplace:01 bug:01 segfault:01 manquante:01 alloc:01 corriges:01 0.80:98 ubuntu:98 lenny:98 lenny:98 Bonjour, Depuis quelque temps je maintiens des paquets camllight pour debian et ubuntu. Ces paquets se trouvent sur deb http://boisson.homeip.net/debian lenny divers (lenny peut être remplacé par woody, sarge (version 0.75) ou etch) deb http://boisson.homeip.net/ubuntu karmic divers karmic peut être remplacé par breezy, dapper edgy, feisty, gutsy, hardy, intrepid, jaunty. Ces paquets existent pour les architectures i386 et amd64 et vont des versions 0.75 à 0.80. La version 0.80 existent pour etch, lenny, hardy, intrepid, jaunty et karmic. Les sources permettant de faire ces paquets (assez «crades», c'était un de mes premiers paquets), se trouvent sur deb-src http://boisson.homeip.net/source/ ./ Par ailleurs, il y avait un bug dans la librairie graphique entrainant un segfault sur une architecture 64 bits si on faisait #open "graphics";; open_graph "";; (text_size "CAML");; cela entrainait une erreur de segmentation.. L'origine était un transtypage sauvage du à une décvalration manquante de la fonction alloc_tuple. J'ai réglé le problème et ai fait des paquets corrigés pour lenny, karmic et hardy. (paquet camllight_0.80-1_amd64.deb). Voilà. François Boisson