From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p9EFEWmv015327 for ; Fri, 14 Oct 2011 17:14:32 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkUHALVQmE5ii1tWZWdsb2JhbAA2DZlKjzsNCiUFIoFpAQYGAQEIIBUBAhUWDAEUKkgBBwEOAQYYiAoKBpdHjjMKglaFKIksAQUFAYdzBIgBiVyCH4UjKUWICoNV X-IronPort-AV: E=Sophos;i="4.69,346,1315173600"; d="scan'208";a="124150508" Received: from nm16.bullet.mail.sp2.yahoo.com ([98.139.91.86]) by mail1-smtp-roc.national.inria.fr with SMTP; 14 Oct 2011 17:14:26 +0200 Received: from [98.139.91.63] by nm16.bullet.mail.sp2.yahoo.com with NNFMP; 14 Oct 2011 15:14:25 -0000 Received: from [98.139.91.40] by tm3.bullet.mail.sp2.yahoo.com with NNFMP; 14 Oct 2011 15:12:25 -0000 Received: from [127.0.0.1] by omp1040.mail.sp2.yahoo.com with NNFMP; 14 Oct 2011 15:12:25 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 563816.13129.bm@omp1040.mail.sp2.yahoo.com Received: (qmail 27021 invoked by uid 60001); 14 Oct 2011 15:12:25 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1318605145; bh=2VWqohOKcjSuo5Ip1ieDzSyGUYzRckuasqkZ3JRh5qA=; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=pSVTgq2te74ZH7uCuaebAhCh2GvpM3kBZqyYLPmIhtq4keMcAQLXzUVXwzRi99oj5Jo0wTkynQb64UbO/LDfOrCLFGvVtL1OXgspmmwbEPiBGpyoxuLu3sCf6O+ZdgW38ceLNgYq044ismTcyIcqiuD6DwGmTQTY8OS4vt7BQ9I= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=gUG8cZdRSbsm25pDPX2PWxPdhTC7y06TfzIdnKhA2T4u8xbnoCNPetkEnZoVuZeSL8fYxFMyjF1fdq9OXPPbYLjc7uEHQPZ/MbOwdzG3WOdDNCxFdKyaClgHlD708iG8AqF9T7wBJShsNtlc/gEV1TELcNPES5ncXVO6oQeRJrA=; X-YMail-OSG: fLXJBs4VM1kuWr4O7KW.L.7EMnY2yG.eDeUxpFpSvVxVdcZ _NTmvUArU7E9TATt.lXcgw2.pUiyUbuuWbyuQS_mcVgOlYapMzfYjYeaAYYR ow7DvrdAbh8VFHcNwyMa4ueTEE.80aLcFxD.S3cuKr6SRx1WO9KNaazoLIH4 _a77E2oGYHSvPUVp13Dgad8L9w27sFXki6F0.A7QAJYm3MtiG5u9VVG7aAuT 9bKiw7Nb_3MJ.YMOOm2ci9JdYMUZKP44hHoprJKkTNfqWm2f9Hglhq7HuZVj h5ykJpCYQfB_Ap_exMXpfFR1I0s8OPUeiK13_kuHiVHb3TsAfiYEpfTTSqO6 YJQhD4Cr85io7ldjWRyspEt8NrvaD1Bqq74byovUUrgG.aZApJ375iT.W_Aw t6m5dziy2pkPLCrK.YhMMfsD5Hl7SYGyFZgsr16fMfTzulzE236U4gJKdQ5B HzyG2oJvooINdFQLKgUen4yxEyAzmiJhj8BHxOGI2oWCJ4Dj3O9c2QiZrfru uCIzErxwxIDx1PEw93Ls5FstA0ZpUdw-- Received: from [213.205.70.214] by web111515.mail.gq1.yahoo.com via HTTP; Fri, 14 Oct 2011 08:12:25 PDT X-Mailer: YahooMailWebService/0.8.114.317681 Message-ID: <1318605145.21811.YahooMailNeo@web111515.mail.gq1.yahoo.com> Date: Fri, 14 Oct 2011 08:12:25 -0700 (PDT) From: Dario Teixeira Reply-To: Dario Teixeira To: caml MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p9EFEWmv015327 Subject: [Caml-list] PG'OCaml now hosted at the OCaml Forge Hi, PG'OCaml has moved, and is now hosted at the OCaml Forge. This is the project's new homepage: http://pgocaml.forge.ocamlcore.org/ (Please update your links and bookmarks.  For now the old site at BerliOS will inform you of the move; however, BerliOS is scheduled to shut down by the end of the year). The development/help mailing list has also changed.  Here you can find subscription information and archives for the new list: https://lists.forge.ocamlcore.org/cgi-bin/listinfo/pgocaml-general Thank you for your attention! Dario Teixeira