From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 CE4D57FA8B for ; Tue, 24 Mar 2015 14:54:49 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of matthieu.dubuget@gmail.com) identity=pra; client-ip=74.125.82.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="matthieu.dubuget@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of matthieu.dubuget@gmail.com designates 74.125.82.46 as permitted sender) identity=mailfrom; client-ip=74.125.82.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="matthieu.dubuget@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-wg0-f46.google.com) identity=helo; client-ip=74.125.82.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="postmaster@mail-wg0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CVAQCeaxFVmy5SfUpcg1hagxDDOoVzgUFMAQEBAQEBEQEBAQEBBgsLCRQuQQEBg1MEDAcRCAcBBQgBGxwCAwEREA8CBRYLAgsDAgECAREMAQQBBQEDASsIAQEeh3gBAQIJCAQBnx+DLD4xizGBawSCc4FxjSgKGQQKGQ1UhSABBQ6BE48TglKBRQWUP4YAgVWFLoEHilg1Rk+EEW6CQwEBAQ X-IPAS-Result: A0CVAQCeaxFVmy5SfUpcg1hagxDDOoVzgUFMAQEBAQEBEQEBAQEBBgsLCRQuQQEBg1MEDAcRCAcBBQgBGxwCAwEREA8CBRYLAgsDAgECAREMAQQBBQEDASsIAQEeh3gBAQIJCAQBnx+DLD4xizGBawSCc4FxjSgKGQQKGQ1UhSABBQ6BE48TglKBRQWUP4YAgVWFLoEHilg1Rk+EEW6CQwEBAQ X-IronPort-AV: E=Sophos;i="5.11,458,1422918000"; d="scan'208";a="129883675" Received: from mail-wg0-f46.google.com ([74.125.82.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Mar 2015 14:54:49 +0100 Received: by wgdm6 with SMTP id m6so171853504wgd.2 for ; Tue, 24 Mar 2015 06:54:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:reply-to:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; bh=8p/Lm7NpdzOAnOsCHJT9RZKSCanHZwvDmCw89xRKJ2c=; b=iEMW+qw1bFuCC6K6pOWt4kOwi7uzxuuyUgPabntLN4MjaAvl+UQFfSBmW5QwoHjvI7 r8T7fAw3OdNJTxcsTujwQksLhUb5Ci4/DJH6Gq1h0sfzHgBVZiXAwoPdFWsHtHDkDdhq s4IUk9qbOES3hmKCcLlO5ZN5sCF7BpRWIxkgIZO9vMvvUGFfqsfBrOylDIqLo/5QxgZ7 anK6yvRuJIDkRqpVrgbZx9IVef1tJc7JdjC3DLWA3eSLIyRJVm8S3SlXhrGESx6vBk0b fXjUfuSKy8DPem/VcJgHZYrgJbIJ8NjqlecLLeLTDD2TGzuuk46MCywEnfYkOwJhrQgp nxuA== X-Received: by 10.194.47.201 with SMTP id f9mr8036390wjn.17.1427205289361; Tue, 24 Mar 2015 06:54:49 -0700 (PDT) Received: from [172.17.1.47] (papillon.metalscan.fr. [178.22.148.54]) by mx.google.com with ESMTPSA id ps4sm6202597wjc.31.2015.03.24.06.54.48 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 24 Mar 2015 06:54:48 -0700 (PDT) Message-ID: <55116CA7.2000800@gmail.com> Date: Tue, 24 Mar 2015 14:54:47 +0100 From: Matthieu Dubuget Reply-To: Matthieu Dubuget User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] Is there a 64 bits Native MinGW port? Hello, in the README.win32 file of the last OCaml release, four ports are listed. > Native MS Native > MinGW Cygwin > > 64 bits? Win32 or Win64 Win32 only > Win32 only Are there any problem with a 64 bits native MinGW port? Thanks for any explanation Salutations -- Matthieu Dubuget Guide d’autodéfense numérique : http://guide.boum.org