From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B66357FE07 for ; Wed, 3 Feb 2016 21:22:45 +0100 (CET) IronPort-PHdr: 9a23:QOmjXBHknbDZtITEi/cgPZ1GYnF86YWxBRYc798ds5kLTJ75o82wAkXT6L1XgUPTWs2DsrQf27WQ6v6rADRRqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7/0osOYOl0ZzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEfZrVdCHxyOGkw4IjvtALfZQqJ/HoVFGsMxElmGQ/AuSvzWYr1+gfntec1jDOTOtDyQZg7XD2j6+FgTxq+23RPDCIw7GyC0p84t6lcuh/0/xE= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=raould@gmail.com; spf=Pass smtp.mailfrom=raould@gmail.com; spf=None smtp.helo=postmaster@mail-ob0-f180.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of raould@gmail.com) identity=pra; client-ip=209.85.214.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raould@gmail.com"; x-sender="raould@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of raould@gmail.com designates 209.85.214.180 as permitted sender) identity=mailfrom; client-ip=209.85.214.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raould@gmail.com"; x-sender="raould@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f180.google.com) identity=helo; client-ip=209.85.214.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raould@gmail.com"; x-sender="postmaster@mail-ob0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DSHgCpYLJWm7TWVdFeFoN2bQaIVYQ1aqEqgy+JEiGHMQc8EAEBAQEBAQEBEAEBAQEBBgsLCSEuQQEBAwsCgVqCLREdARseAxIQDwImAiQBEQEFASI1h2MBAxIOoU+CB4ExPjGLNIFpgleFMgoZJw1RhBIBBQoEbYUXi2mBOgWOGYhYjU2OcY0EER6BDTeBYQwBUYFxGy4BgwyCRIQaAQEB X-IPAS-Result: A0DSHgCpYLJWm7TWVdFeFoN2bQaIVYQ1aqEqgy+JEiGHMQc8EAEBAQEBAQEBEAEBAQEBBgsLCSEuQQEBAwsCgVqCLREdARseAxIQDwImAiQBEQEFASI1h2MBAxIOoU+CB4ExPjGLNIFpgleFMgoZJw1RhBIBBQoEbYUXi2mBOgWOGYhYjU2OcY0EER6BDTeBYQwBUYFxGy4BgwyCRIQaAQEB X-IronPort-AV: E=Sophos;i="5.22,391,1449529200"; d="scan'208";a="201141237" Received: from mail-ob0-f180.google.com ([209.85.214.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Feb 2016 21:22:45 +0100 Received: by mail-ob0-f180.google.com with SMTP id wb13so46337335obb.1 for ; Wed, 03 Feb 2016 12:22:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=g8Q/0K8jswckbnumMZg1bgOpM7RzvAG22mYmnHUWoB0=; b=isHxQJC9DbpKH+6YhrEV6Z1cIOPDo+t9cE2NFcHourTkkkCvp0JD6bbLrDxNQIS4Fj /vISqUvBVOh3LEJNRn7rTU2xL5VrvTAWBohvIkw0f2zGNdt3QGcEevXDFbVpPvuculJK h2vqC17c9V/7gubm01/94+0M/QFKYBqY8whYz5ePiO7fCP8Et8c4JmmL7XXwWFEfOsQf LjhAc4VeikQ03JTOH3jeV5G/dyzT+rRUPpDcHn1QO/x5MudgmqTGUS+jwSrwNMzNkENo +9c/L7Hr+mWzEgKcGD1KO9AiRSXFtaSKJ2xAmBF+POzcHMhQXpr4WwoPjC+B9UuL4kyU TaNg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=g8Q/0K8jswckbnumMZg1bgOpM7RzvAG22mYmnHUWoB0=; b=ZGwW9zf9TGrMiN1MF6om74eQ4WrIBOesJh0kG8hjsbZvTP/bVatrHvsxwjFz2iE6KJ RaG3fcuJTmjh9wg12c/qVL2CtuwwY/Gk6vEtBlcq4caCbaDaZO99Fd5IqGjZfQvLt/tp 7zXApATwvgWYvT6+HJ2vGna/CZ3krbVLyW2tWw+VAj7K5mnHByal60dzKic2OWQana8k 6ptnkgVx6oAww/rwy2Oz9IHjnOMwPTXYeUGqKq2qXsp4Z/kDHHlWJ4VWM1YYAc/kxx9U s1j27o10KZ5OF+fPxNe43pBDTnsRHr/Ggvt0cb50lCsLB0Nd1m6/FvhSDIbenVHgWvi0 3z3w== X-Gm-Message-State: AG10YORrvyuv0cfxyFCfKu7lNbhYQTi+jnKWQT6IRwARTiba7udRimbcFNinS4xPG3kPrNu6UlWjOVL+W/QG8Q== MIME-Version: 1.0 X-Received: by 10.60.179.49 with SMTP id dd17mr4201705oec.5.1454530963715; Wed, 03 Feb 2016 12:22:43 -0800 (PST) Received: by 10.182.86.170 with HTTP; Wed, 3 Feb 2016 12:22:43 -0800 (PST) Date: Wed, 3 Feb 2016 12:22:43 -0800 Message-ID: From: Raoul Duke To: OCaml Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] is meta-ocaml dead? http://www.cs.rice.edu/~taha/MetaOCaml/ "Download current (February 3nd, 2006)" !!! :-}