From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C98FB7EE63 for ; Fri, 17 May 2013 11:19:42 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fboisson@laposte.net) identity=pra; client-ip=82.66.248.156; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fboisson@laposte.net"; x-sender="fboisson@laposte.net"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail3-smtp-sop.national.inria.fr: domain of fboisson@laposte.net is inclined to not designate 82.66.248.156 as permitted sender) identity=mailfrom; client-ip=82.66.248.156; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fboisson@laposte.net"; x-sender="fboisson@laposte.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@fbsmtp.dnsalias.org) identity=helo; client-ip=82.66.248.156; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fboisson@laposte.net"; x-sender="postmaster@fbsmtp.dnsalias.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjwFAKr1lVFSQvic/2dsb2JhbABbgwg3gnW+Z3wWdIIfAQEEATIBVgtGITYZh3kBAwkKCLMuEDoNiF6MSIJeFoM/A4FMlAaBZYEqinQDhSCDEjo X-IPAS-Result: AjwFAKr1lVFSQvic/2dsb2JhbABbgwg3gnW+Z3wWdIIfAQEEATIBVgtGITYZh3kBAwkKCLMuEDoNiF6MSIJeFoM/A4FMlAaBZYEqinQDhSCDEjo X-IronPort-AV: E=Sophos;i="4.87,690,1363129200"; d="scan'208";a="14777903" Received: from fbsmtp.dnsalias.org ([82.66.248.156]) by mail3-smtp-sop.national.inria.fr with ESMTP; 17 May 2013 11:19:42 +0200 Received: from localhost ([127.0.0.1] helo=portos.rebelles) by fbsmtp.dnsalias.org with smtp (Exim 1.24 #1 (Debian)) id 1UdGp7-0006sA-00 for ; Fri, 17 May 2013 11:19:37 +0200 Date: Fri, 17 May 2013 11:19:36 +0200 From: Francois Boisson To: caml-list@inria.fr Message-Id: <20130517111936.30d4a44bbde4cedf980ac765@laposte.net> In-Reply-To: <1866705.PC8WPgy7rA@groupon> References: <1866705.PC8WPgy7rA@groupon> X-Mailer: Sylpheed 3.2.0 (GTK+ 2.24.10; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Scanner: exiscan *1UdGp7-0006sA-00*5R5kBiJXv2A* X-Validation-by: francois@boisson.homeip.net Subject: Re: [Caml-list] concurrent caml-light? Le Thu, 16 May 2013 19:11:51 -0700 Chet Murthy a écrit: > > Does anybody know whatever happened to concurrent caml-light? Anybody > have any idea if the Doligez-Gonthier-Leroy GC was ever implemented in > another system? Yes, Camllight is on 0.82-3 version. I tried to maintain it. You can find debian and ubuntu package on deb http://boisson.homeip.net/depot wheezy divers (change wheezy with squeeze, quantal, precise, raring and so on) and source on * cvs of INRIA * deb-src http://boisson.homeip.net/ ./ * https://github.com/FBoisson/Camllight François Boisson