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 644D77F787 for ; Mon, 7 Nov 2016 15:59:41 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Pass smtp.pra=simon.cruanes.2007@m4x.org; spf=Pass smtp.mailfrom=SRS0=9Grr=WY=m4x.org=simon.cruanes.2007@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of simon.cruanes.2007@m4x.org designates 129.104.30.34 as permitted sender) identity=pra; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=9Grr=WY=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of SRS0=9Grr=WY=m4x.org=simon.cruanes.2007@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=9Grr=WY=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=9Grr=WY=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=9Grr=WY=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3Aw/QbORwFiIzZ337XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0egWIJqq85mqBkHD//Il1AaPBtSBraMYwLGM++C4ACpbvsbH6ChDOLV3FDY7yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?Dq3PF4XTl8W60fyps92WOl0QxWn1XbQnFwSyswzQsIEyjMNNI6I1gk/Go39EfP?= =?us-ascii?q?4KmjNAKleanhK67cC1qs1N6SNV7skg8slGGY7gYq0+QKcQWC8nNmczosbxqBDF?= =?us-ascii?q?QBDJvCNEDU0TzgoOBBLKukKpFqztuzf347IukBKROtf7GPVtAWyv?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BIAAAPliBYhyIeaIFdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBgwMBAQEBAXeONJ54hGaEVoMfgimIDD8UAQEBAQEBAQEBAQE?= =?us-ascii?q?SAQEBCgsJCR0wQhKBXwQBFQEEghABBXkQCyElDwVJiGsFtCuLYQ6LE4d4gi8Fg?= =?us-ascii?q?SUBAQGYdQgBAYY1igSBYwFjjVSRMB6BGjIkgiCCTIJrhEGBTgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BIAAAPliBYhyIeaIFdGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?BgwMBAQEBAXeONJ54hGaEVoMfgimIDD8UAQEBAQEBAQEBAQESAQEBCgsJCR0wQ?= =?us-ascii?q?hKBXwQBFQEEghABBXkQCyElDwVJiGsFtCuLYQ6LE4d4gi8FgSUBAQGYdQgBAYY?= =?us-ascii?q?1igSBYwFjjVSRMB6BGjIkgiCCTIJrhEGBTgEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,606,1473112800"; d="asc'?scan'208";a="243928433" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Nov 2016 15:59:40 +0100 Received: from nunchakus.loria.fr (nunchakus.loria.fr [152.81.10.98]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id 17B2F564784; Mon, 7 Nov 2016 15:59:40 +0100 (CET) Date: Mon, 7 Nov 2016 15:59:38 +0100 From: Simon Cruanes To: Sylvain Le Gall Cc: Francois BERENGER , caml-list@inria.fr Message-ID: <20161107145938.GF10231@nunchakus.loria.fr> References: <20161107132201.GG27249@annexia.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="TeJTyD9hb8KJN2Jy" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.7.1 (2016-10-04) X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Mon Nov 7 15:59:40 2016 +0100 (CET)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000000, queueID=3A4C15647CA X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: Re: [Caml-list] Zarith problems on ppc64le --TeJTyD9hb8KJN2Jy Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Not really related, but this could be the occasion to move Zarith to github for good, so that we can finally host its documentation somewhere (gh-pages) and contribute. --=20 Simon Cruanes http://weusepgp.info/ key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3 7D8D 4AC0 1D08 49AA 62B6 --TeJTyD9hb8KJN2Jy Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIcBAEBCAAGBQJYIJbaAAoJEErAHQhJqmK2rdIQAJ+b1K9wBBqkzdkjADT+qBgE YOtkwi1nidboL4emF1TYfRT73uVrXB8TvM3iqnzsr/y2PgcVauTqgqiwyPlQ/e+x crswqJuEjIwWGPX4zUVFugLBSI78c4KwtfRReoNme5EtG5/fcBIfthwiaieFWx6j soiW6FU8AvE/yiHDsdfdGyED06lN2jOPiHj8Ng/JsxmQ3xMIOVblsnhGrAbo0HPK bjX1wNnv0JdAki0gqK3o9YJEDE2Em7r/SlHzMeMdQwV9Jtu2FVMByqT45Umzxthc scr30UaRTYNnSxlb7xyqQeFFKim7Uaa70njvsslDLGoDYK+2RsRFeqmSZMXmJtGV efGtXpEF2ORm6OGQqm/6WX8aB9IUc+l9X7wLYsf9tb+MP0eGHFvH6TnmzwYsQLw3 4SZ2yVanE8Ho6JFUEHVvFbNCFu/62a6k5UWfGRk+aW/eo4qJdCJsuXHNzOPb6IwW tqbv/T0YCHijavly9P6EWdflR778guAyqkhbpqIvu13ZAV06te7K6POKwyaynuIH 42F5hslC6aQQo9lwSe9VqxW8jwoNGyayr95wuGbiZin8nmbHITsRknJs1aahwYbi ltipq03mDWaIQMtclx5E1UhsSMWGsSCCjFr+TYfl9s+BNVg40v+gclAJclUihIjq UpRqIc8UbRpwoktMZbP1 =2QfV -----END PGP SIGNATURE----- --TeJTyD9hb8KJN2Jy--