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 CFB8D8015D for ; Mon, 5 Jun 2017 17:08:00 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=217.72.192.75; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=217.72.192.75; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=217.72.192.75; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ADMmN3RFRENCCDwTNbvu80Z1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zociwAkXT6L1XgUPTWs2DsrQf2rSQ7v+oGTRZp83Q7zZaKN0EfiRGoP?= =?us-ascii?q?tVtjRjOvLNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMj4ZvLqc8xgHJr3ZKZu?= =?us-ascii?q?9awX9kKU+Jkxvy4sq9/oRv/zhMt/4k6sVNTbj0c6MkQLNXCzgrL3o76Mr3uxfd?= =?us-ascii?q?UACB/GEcUmIYkhpJBwjK8hT3VYrvvyX5q+RwxjCUMdX5Qr4oVzui6bxrSALzhy?= =?us-ascii?q?ccKzE56mDXhddug69dvRmsugZww4/QYIGSKfp+YqbQds4USGZdQspcUTFKD4Wh?= =?us-ascii?q?ZIUNEuUBJ/5VoZf9qVUTrhWwCwejC+zzxTJTiX/6wbc33eM9HQzI3gEtGc8Fvn?= =?us-ascii?q?TOrNXyMacfSeG7w7fSzTrecvhYxCv96I/MchA5pPGDR7RwcczMwkQoFgPFiFuQ?= =?us-ascii?q?qYv+MjOayOsNqXWU4/N7VeKzjG4nrxlxoj21yccqjInFnJ8axU7d+Ch/3Y07K9?= =?us-ascii?q?q4SEthbt6lFptdry6aOJVsQsw/Wm1oozo6yroCuZ6jeSgF0pInxxjFZ/OabYeE?= =?us-ascii?q?+g7sW/yUITd8mH1lea6/hhao/Uin0O38Wc+520tJoCpditTAqG0B2h7J5sWFVP?= =?us-ascii?q?dx5Fqt1DKR2wzJ6OxJIVg4mKnbJpI737I9lZQevV7CEyLygkn6ka6belgi9+O1?= =?us-ascii?q?8eroeK/mqYWZN4JsigHxLKAumsunDOQ9NQgOQnSb9f6/1L3++032XatFjvstkq?= =?us-ascii?q?bHqpDaO9oUprSjDwBIzIkv8xe/DzG439QEhXQLMk9JdRCdg4XrJV3COu30APOh?= =?us-ascii?q?j1i2kjpmx+jKPrj7DZXMKnjDnq3hfbF460NEyQozy95f55VPB7EOPv3zQFL+uM?= =?us-ascii?q?XDDh8lNAy0x/7nCNBn2YMYX2KDGLKWP73KvV+S+u0vO/WMZJMSuDvlN/cq/fvu?= =?us-ascii?q?jXsglV8ZfKmpxocXZWujHvVmJkWZeWDjjs0AEWcMpAo+TfblhEeMUT5JND6OWP?= =?us-ascii?q?c37zQ/TYanFpvrR4a3gbXH0j3oMIdRYzVpB0qAWUz0cIGcXv4KbmrGI8lvlRQL?= =?us-ascii?q?WKKtDpQ90hW2sQb8zfxrI7yHqWUjqZv/2Y0ttKXonhYo+GksAg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DXAwCqcjVZh0vASNldHQYMGQYMhBCBD?= =?us-ascii?q?YNzixaQYy6NIYhQghAHJYh5QRYBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCbTK?= =?us-ascii?q?BAQJsBgIBAQWKJQELrQ+CJos4D4Vugn4LiB+CCQwxgmEFiUiUa3lqA4Inghp7j?= =?us-ascii?q?maILoZxAot0iGsmAoE5USQUhHxQEAyBZnQBiXUBAQE?= X-IPAS-Result: =?us-ascii?q?A0DXAwCqcjVZh0vASNldHQYMGQYMhBCBDYNzixaQYy6NIYh?= =?us-ascii?q?QghAHJYh5QRYBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCbTKBAQJsBgIBAQWKJ?= =?us-ascii?q?QELrQ+CJos4D4Vugn4LiB+CCQwxgmEFiUiUa3lqA4Inghp7jmaILoZxAot0iGs?= =?us-ascii?q?mAoE5USQUhHxQEAyBZnQBiXUBAQE?= X-IronPort-AV: E=Sophos;i="5.39,300,1493676000"; d="asc'?scan'208";a="277362361" Received: from mout.kundenserver.de ([217.72.192.75]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 05 Jun 2017 17:08:00 +0200 Received: from office1.lan.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue103 [212.227.15.183]) with ESMTPSA (Nemesis) id 0LzHnN-1dvEZ40VtZ-014XHC for ; Mon, 05 Jun 2017 17:07:59 +0200 Received: from gerdbook.fritz.box (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 735B4DC05D for ; Mon, 5 Jun 2017 17:07:58 +0200 (CEST) To: caml-list@inria.fr From: Gerd Stolpmann Message-ID: <46b26d52-a96c-1264-46b2-4fdade2705a0@gerd-stolpmann.de> Date: Mon, 5 Jun 2017 17:07:48 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="2cdvoUeJX7QlQ8E4g8k0DCavjNNSqBICK" X-Provags-ID: V03:K0:MzyN57HjgadhB9+9GmVgy4kyk+RYbYHpM4Y1f88lEjPMfGoF49M SepaA46wgClDAhCpa0gujayS66JvK+VHlBubWfN8nOVGZLXzob6+5irB79XKFmMtXBd7Ske n70ttnL4Knb5laUVfkLZte8GXW6PmQec/5VCZe8Z4xyu24eVmj1f9BRhOrniE4b432YNu4m PmCgumiBwta/WiYH/PDGg== X-UI-Out-Filterresults: notjunk:1;V01:K0:KSpmNNHsPEc=:V+bLGBRQ6In2vKk44K0n+p QvW5MmcTl1gV+fJWrld+pcQDMr8cZ0L3nseU9yLTflNlCWAGl5GI4F1ikkJvR7WG8rGxYnrRC 7YbEvZO1k447ttuLfv1PBbBAdAiRgNnEkdnSBI4ggpF6IXloUQabbMJAmpRniicWFhiJ5eD4q ynzZr3CMGFCcDxR5WzS2tqavlGuNLItwHrTD7h7uHl0G/rfkZYPc4uLfttnAS/qvk5QqZXAsR BRtjeW6YJHcrqh0NMev6J/zl+f2ZSS033aG0HTxZVnLpn8PIg47jT+NXKyNghWbhxye5aXEn9 NATgbP3ApgA6Q+YwfKMAboJDXeAx6HiPJ6/svk/tPnJO97YViADzRgJUnKYsrnYPNBeIytbr7 THASdXMtMvJX2IDhQIyWS8irR3mIEs9P6m4kRt+PeakPysHhDe6eZ9+oqDDLi9MDv9WrTrXwg 18YPyFKIBGWmsRUJzz9rgsJXi6FQkWethJ7HkFwqeMq7Adj6IRQiIpDO2w6VUDYD1st1MUgww fl+Lu02+QIEROOpzqH1fKVxbzSQgYCK42TfzXf+oHZhzczWncR62+enmnTQhcFeSSRh1ug12b r+gyfwoZECePlnrtPKgaWAqgWlZOuq3jcMQPIr45XJMDA/4wCr7+XrT52krQ2RE9sgl5O05gf FadOWDOF7RyyJCK8hoNZnAC5j89En2Yw5MjYVuPTPzFaS6W63uJGyx199hwZkpfbFFoY= Subject: [Caml-list] [ANN] findlib-1.7.3 This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --2cdvoUeJX7QlQ8E4g8k0DCavjNNSqBICK Content-Type: multipart/mixed; boundary="erSJChR9pcM0fO20doDa8Vad2859FKHKi"; protected-headers="v1" From: Gerd Stolpmann To: caml-list@inria.fr Message-ID: <46b26d52-a96c-1264-46b2-4fdade2705a0@gerd-stolpmann.de> Subject: [ANN] findlib-1.7.3 --erSJChR9pcM0fO20doDa8Vad2859FKHKi Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Content-Language: en-US Hi everybody, in the last version of findlib there was a small error regarding the num library. It was announced that this library is now optional (as it will be omitted from ocaml-4.06 onwards), however the build did not skip over all parts of it if missing. There is now findlib-1.7.3 fixing this single bug. http://projects.camlcity.org/projects/findlib.html Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --erSJChR9pcM0fO20doDa8Vad2859FKHKi-- --2cdvoUeJX7QlQ8E4g8k0DCavjNNSqBICK Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2 iQEcBAEBCAAGBQJZNXPKAAoJEAaM4b9ZLB5TwfUH/04cNih+xvwZbVnA9QsXlpUL plQXWBs36AvCpvxzyrbsufaTrXDvXh8wMzAWre3yHtjzjH8TQOSdac4V7uDuYB4Y VxkHrQZ3fdXpMJpgW+YZYO4Orirajz6KG0sW/dXGDLR6nRdpU0i4m6QMfqOSagMf 3LWNwh27PpfV/TYfKvwpLmSi5ZxABvhYspqw3KvTJPXnKvTY96iBq6THFehdZb9K RSdeUdOb/FCo0wxTVOpRkgCoWcEPN/IteIbcyCFZ5RwfrQ6KI+wBhacJJc5RASew Pr3KPVva4+GEwYntjn9al45xqo4A/f7uhGQlruJMzheWZAUp68hsB3WPzCUatUc= =4V2R -----END PGP SIGNATURE----- --2cdvoUeJX7QlQ8E4g8k0DCavjNNSqBICK--