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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 451C27FE07 for ; Wed, 3 Feb 2016 21:32:22 +0100 (CET) IronPort-PHdr: 9a23:KUQCYB176U8dNd6gsmDT+DRfVm0co7zxezQtwd8ZsegTKPad9pjvdHbS+e9qxAeQG96LtLQd1aGP6vmocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0ILuiavrosSbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoX3pUfCuCiI+x4EOQZX3waNDU+7cjv8B3CVhen530GU2xQnAAbLRLC6USwe423+gv3rPA3kH2fPNbqQKo0VC64x6lxRRLuhTtBOzNvozKfsdB5kK8O+EHpnBd42YOBPdmY Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=misterherr@freenet.de; spf=None smtp.mailfrom=misterherr@freenet.de; spf=None smtp.helo=postmaster@mout0.freenet.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=195.4.92.90; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=mailfrom; client-ip=195.4.92.90; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout0.freenet.de) identity=helo; client-ip=195.4.92.90; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="postmaster@mout0.freenet.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AuBgB/Y7JWnFpcBMNeFoJ5fW2IW6l4iRIhhWwCgUo8EAEBAQEBAQEBEAEBAQEBBg0JCSEuQQEBAwkEgVqCFQEBBCNVEQsYAgIFFgsCAgkDAgECAUUTCAEBiAEBFgMBCbEjiXMJgSsBg2EBKXuJToJUgiqCNIE6BZZxAYVIiimGdwSFUY5AN4IuEQiBSWkBgTeGcoFBAQEB X-IPAS-Result: A0AuBgB/Y7JWnFpcBMNeFoJ5fW2IW6l4iRIhhWwCgUo8EAEBAQEBAQEBEAEBAQEBBg0JCSEuQQEBAwkEgVqCFQEBBCNVEQsYAgIFFgsCAgkDAgECAUUTCAEBiAEBFgMBCbEjiXMJgSsBg2EBKXuJToJUgiqCNIE6BZZxAYVIiimGdwSFUY5AN4IuEQiBSWkBgTeGcoFBAQEB X-IronPort-AV: E=Sophos;i="5.22,391,1449529200"; d="scan'208";a="163026998" Received: from mout0.freenet.de ([195.4.92.90]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Feb 2016 21:31:57 +0100 Received: from [195.4.92.141] (helo=mjail1.freenet.de) by mout0.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.85 #1) id 1aR45l-0000Qb-9g for caml-list@inria.fr; Wed, 03 Feb 2016 21:31:57 +0100 Received: from localhost ([::1]:43239 helo=mjail1.freenet.de) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1aR45l-0007pD-5g for caml-list@inria.fr; Wed, 03 Feb 2016 21:31:57 +0100 Received: from mx6.freenet.de ([195.4.92.16]:35964) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1aR43I-0003IL-UK for caml-list@inria.fr; Wed, 03 Feb 2016 21:29:24 +0100 Received: from [2001:6f8:1c00:fb::2] (port=53150 helo=suse132-intel.home.loc) by mx6.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1.2:DHE-RSA-AES128-SHA:128) (port 465) (Exim 4.85 #1) id 1aR43I-0004xh-N3 for caml-list@inria.fr; Wed, 03 Feb 2016 21:29:24 +0100 To: caml-list@inria.fr References: From: "Mr. Herr" Message-ID: <56B26322.2020602@freenet.de> Date: Wed, 3 Feb 2016 21:29:22 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Originated-At: 2001:6f8:1c00:fb::2!53150 Subject: Re: [Caml-list] is meta-ocaml dead? On 03.02.2016 21:22, Raoul Duke wrote: > http://www.cs.rice.edu/~taha/MetaOCaml/ > > "Download current (February 3nd, 2006)" !!! :-} > str@suse132-intel:~> opam switch --all | grep -i meta -- -- 4.00.1+BER BER MetaOCaml (http://okmij.org/ftp/ML/MetaOCaml.html) -- -- 4.01.0+BER BER-101 MetaOCaml -- -- 4.02.1+BER BER-N102 MetaOCaml just a quick hint - I did not check what is inside the package. /Str.