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 3090F7F72C for ; Sat, 20 Aug 2016 02:02:15 +0200 (CEST) IronPort-PHdr: 9a23:4bT0MR8N9RKdNv9uRHKM819IXTAuvvDOBiVQ1KB80+8cTK2v8tzYMVDF4r011RmSDNydsa0P0LGe8/i5HzdRudDZ6DFKWacPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvjotuJPE4T33L9Oeo0d0Tu612J94E/ushLEu4J0BzHo39FKax95FhDAhatpSv6/dq655V58i5d6LoL/s9EVrjmLexjFeQLRGduD2dg78TusVzHTBCTri8XW2AS1x5JGBTt7RfgX563vDGs5dBwwC2LAcqjZLQ5STmzp4pkTwXvlm9TOjo0+33Nh8NYiKNAvFS7ukos7ZTTZdS8MPduc7KVUNwdX21fFpJcUyFKHpmxYKMLDvEde/xF+dqu72ASpAezUFH/TNjkzSVF0yf7 Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=electreg@list.ru; spf=Pass smtp.mailfrom=electreg@list.ru; spf=Pass smtp.helo=postmaster@f325.i.mail.ru Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of electreg@list.ru) identity=pra; client-ip=128.140.169.188; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="electreg@list.ru"; x-sender="electreg@list.ru"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of electreg@list.ru designates 128.140.169.188 as permitted sender) identity=mailfrom; client-ip=128.140.169.188; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="electreg@list.ru"; x-sender="electreg@list.ru"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@f325.i.mail.ru designates 128.140.169.188 as permitted sender) identity=helo; client-ip=128.140.169.188; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="electreg@list.ru"; x-sender="postmaster@f325.i.mail.ru"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AlEwDXnLdXZLypjIBeg0RWfAeiJoUui1mEQIF9JIMOgjE6HoFJOBQCAQEBAQEBAQEDGg0KBhsvgjIWgg0bGB0BATgUCQEdIQIEDT0RJIgFAQECFwQKqiFnhEUBAQWBXIlZHQMFhRSEaIVpghwLLYJajxWEcIVHhiCIf4lWhXaPCQGBLB6EM20FhioBfgEBAQ X-IPAS-Result: A0AlEwDXnLdXZLypjIBeg0RWfAeiJoUui1mEQIF9JIMOgjE6HoFJOBQCAQEBAQEBAQEDGg0KBhsvgjIWgg0bGB0BATgUCQEdIQIEDT0RJIgFAQECFwQKqiFnhEUBAQWBXIlZHQMFhRSEaIVpghwLLYJajxWEcIVHhiCIf4lWhXaPCQGBLB6EM20FhioBfgEBAQ X-IronPort-AV: E=Sophos;i="5.28,547,1464645600"; d="scan'208,217";a="233331482" Received: from f325.i.mail.ru ([128.140.169.188]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Aug 2016 02:02:14 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=list.ru; s=mail; h=Content-Type:Message-ID:Reply-To:Date:MIME-Version:Subject:To:From; bh=vtkYxuvfC/hX0crUOhFRAVpuvhUepTaNPpX0RDnzAPY=; b=lU+tYLL1HM2OEfVjkE5+V2cCg1hvP7lk00f+n7cttjFkOBSiBu26qGYWpGXf/QpcHPt370aSmwxaZiTpJPbagMInDqJSlyf6wBxg3sYsc7/yjWM/cuxPS3EEy2XKtVHtbbPtrFcVmP7KW07v3/BLm6NLMXcYJuidFnT9rtZhPxE=; Received: from [5.141.197.64] (ident=mail) by f325.i.mail.ru with local (envelope-from ) id 1batjo-0006zl-TC for caml-list@inria.fr; Sat, 20 Aug 2016 03:02:13 +0300 Received: from [5.141.197.64] by e.mail.ru with HTTP; Sat, 20 Aug 2016 03:02:12 +0300 From: =?UTF-8?B?QWxleGV5IEVnb3Jvdg==?= To: =?UTF-8?B?Y2FtbC1saXN0?= MIME-Version: 1.0 X-Mailer: Mail.Ru Mailer 1.0 X-Originating-IP: [5.141.197.64] Date: Sat, 20 Aug 2016 03:02:12 +0300 Reply-To: =?UTF-8?B?QWxleGV5IEVnb3Jvdg==?= X-Priority: 3 (Normal) Message-ID: <1471651332.586948056@f325.i.mail.ru> Content-Type: multipart/alternative; boundary="--ALT--jGpc8jmCWCEGZ60f4jCNgOJ2u3BMOyNY1471651332" X-Mailru-Sender: 3F463A965D38BA3FCB2BACA24BCF3047942B1B99E1B1F5BCB4120E68951487E8DBD6D8931B7D7CED X-Mras: OK X-Spam: undefined Subject: [Caml-list] CPS converting existential data type ----ALT--jGpc8jmCWCEGZ60f4jCNgOJ2u3BMOyNY1471651332 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 IEhlbGxvLAoKaW4gaGFza2VsbCBpdCdzIHBvc3NpYmxlIHRvIGNvbnZlcnQg c29tZSBkYXRhIHR5cGUgdG8gaXQgQ1BTJ2VkIGZvcm0gdXNpbmcgcmFuay1O IHBvbHltb3JwaGlzbS4KCkknbSB0cnlpbmcgdG8gZG8gdGhlIHNhbWUgaW4g b2NhbWwgdXNpbmcgb2JqZWN0cyB3aXRoIHBvbHltb3JwaGljIG1ldGhvZHMg KGluc3RlYWQgb2YgR0hDwqBSYW5rTlR5cGVzIGV4dGVuc2lvbiksIGFuZCBp dCB3b3JrcyB3ZWxsIHVubGVzcyBJJ20gdXNpbmcgZGF0YSB0eXBlIHdpdGgg ZXhpc3RlbnRpYWwgdHlwZSB2YXJpYWJsZXMuCgpFeGFtcGxlIC3CoCBodHRw czovL2dpc3QuZ2l0aHViLmNvbS9hbm9ueW1vdXMvNTcyNjJlNGUxMDA5ZTY1 OGI5N2U4OTg2YTJkMDNkNDAgwqAKSGFza2VsbCB2ZXJzaW9uIGNvbXBpbGVz LCB3aGlsZSBvY2FtbCB2ZXJzaW9uIGdpdmVzIHR5cGUgZXJyb3IgYWJvdXQg dW5pdmVyc2FsIHZhcmlhYmxlIGVzY2FwaW5nIGl0J3Mgc2NvcGUuCgpXaGF0 IGlzIHRoZSByaWdodCB3YXkgdG8gZG8gdGhpcz8gSXMgaXQgcG9zc2libGUg YXQgYWxsPwoKVGhhbmtzLgoK ----ALT--jGpc8jmCWCEGZ60f4jCNgOJ2u3BMOyNY1471651332 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: base64 CjxIVE1MPjxCT0RZPkhlbGxvLDxicj48YnI+aW4gaGFza2VsbCBpdCdzIHBv c3NpYmxlIHRvIGNvbnZlcnQgc29tZSBkYXRhIHR5cGUgdG8gaXQgQ1BTJ2Vk IGZvcm0gdXNpbmcgcmFuay1OIHBvbHltb3JwaGlzbS48YnI+PGJyPkknbSB0 cnlpbmcgdG8gZG8gdGhlIHNhbWUgaW4gb2NhbWwgdXNpbmcgb2JqZWN0cyB3 aXRoIHBvbHltb3JwaGljIG1ldGhvZHMgKGluc3RlYWQgb2YgR0hDJm5ic3A7 UmFua05UeXBlcyBleHRlbnNpb24pLCBhbmQgaXQgd29ya3Mgd2VsbCB1bmxl c3MgSSdtIHVzaW5nIGRhdGEgdHlwZSB3aXRoIGV4aXN0ZW50aWFsIHR5cGUg dmFyaWFibGVzLjxicj48YnI+RXhhbXBsZSAtJm5ic3A7PGEgaHJlZj0iaHR0 cHM6Ly9naXN0LmdpdGh1Yi5jb20vYW5vbnltb3VzLzU3MjYyZTRlMTAwOWU2 NThiOTdlODk4NmEyZDAzZDQwIj5odHRwczovL2dpc3QuZ2l0aHViLmNvbS9h bm9ueW1vdXMvNTcyNjJlNGUxMDA5ZTY1OGI5N2U4OTg2YTJkMDNkNDA8L2E+ Jm5ic3A7PGJyPkhhc2tlbGwgdmVyc2lvbiBjb21waWxlcywgd2hpbGUgb2Nh bWwgdmVyc2lvbiBnaXZlcyB0eXBlIGVycm9yIGFib3V0IHVuaXZlcnNhbCB2 YXJpYWJsZSBlc2NhcGluZyBpdCdzIHNjb3BlLjxicj48YnI+V2hhdCBpcyB0 aGUgcmlnaHQgd2F5IHRvIGRvIHRoaXM/IElzIGl0IHBvc3NpYmxlIGF0IGFs bD88YnI+PGJyPlRoYW5rcy48YnI+PGJyPjwvQk9EWT48L0hUTUw+Cg== ----ALT--jGpc8jmCWCEGZ60f4jCNgOJ2u3BMOyNY1471651332--