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 C88307ED11 for ; Sun, 2 Oct 2016 23:32:46 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=217.72.192.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=217.72.192.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=217.72.192.74; receiver=mail3-smtp-sop.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=3Ak66NghBJ4orVrOZI8gP4UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP7/rsbcNUDSrc9gkEXOFd2CrakV0ayM6Ou5BD1IyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBy?= =?us-ascii?q?brysXNWD1YLtjKvrpsybSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYe?= =?us-ascii?q?VcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUfQMBz0jNyUx5db3nRjF?= =?us-ascii?q?VwqGoHUGBDY4iB1NVifI9h2yZYv2tjP/v+x7kH2bO8PxZb85Qzjn9LtsTAftgS?= =?us-ascii?q?EBcTI0pjKEwvdshb5W9Ury7yd0xJTZNdmY?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DRAACnfPFXh0rASNlcHhgNBAEBFgEBB?= =?us-ascii?q?QEBBAEBgn8BAQEBAXV8pHyLUogEggYkh1Q4FAEBAQEBAQEBAQEBEgEBAQgNCQk?= =?us-ascii?q?ZL4IyGIJzgWITCYhIAQmfRZxRDoU9jGALgwcFiDeRQYFAAoRljAaHKIYMAokEh?= =?us-ascii?q?2geg2eBXXABiAkBAQE?= X-IPAS-Result: =?us-ascii?q?A0DRAACnfPFXh0rASNlcHhgNBAEBFgEBBQEBBAEBgn8BAQE?= =?us-ascii?q?BAXV8pHyLUogEggYkh1Q4FAEBAQEBAQEBAQEBEgEBAQgNCQkZL4IyGIJzgWITC?= =?us-ascii?q?YhIAQmfRZxRDoU9jGALgwcFiDeRQYFAAoRljAaHKIYMAokEh2geg2eBXXABiAk?= =?us-ascii?q?BAQE?= X-IronPort-AV: E=Sophos;i="5.31,434,1473112800"; d="asc'?scan'208";a="195359912" Received: from mout.kundenserver.de ([217.72.192.74]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 Oct 2016 23:32:45 +0200 Received: from office1.lan.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue102) with ESMTPSA (Nemesis) id 0LyVBG-1aoTnf0lHS-015sjT for ; Sun, 02 Oct 2016 23:32:45 +0200 Received: from e130 (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 75E6CDC05D for ; Sun, 2 Oct 2016 23:32:44 +0200 (CEST) Message-ID: <1475443954.21378.4.camel@gerd-stolpmann.de> From: Gerd Stolpmann To: caml-list Date: Sun, 02 Oct 2016 23:32:34 +0200 Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="=-KSCxQe7ECRvLtw/Axg1X" X-Mailer: Evolution 3.18.5.2-0ubuntu3 Mime-Version: 1.0 X-Provags-ID: V03:K0:/t8NcHAao+rgxHmLx1hJWEONGExivN/GBA6EkaupHF1GVPO0+9B I4nAAHxNX2Er9OFFvjOeYg2++1Nv+ZDuswoLjv/qb2TnYmPC54w3l+c4yjVY8ZRyAbA4q4y Kf7q+uDY/jH51b5METwx2WQDTLkvhUlxSxXzX0sbstoHS7d91PSMD40gjNROanmxFul45I5 3DY4MmvxVGH79iEUDFzlw== X-UI-Out-Filterresults: notjunk:1;V01:K0:FBEOiqR9cwU=:xe32RrD+IYX7ggBqRHSsDk VwH50Upoee6HoP+q3gyAJxuaI8u7pTlB0zR6pgUDcDLEb5bTTI5rdO5pD9DkpKdnyYOmO1LOK n8UkfgzZcQJw5dzVtPa5VGwlmFkw6Qhp28cAjhNvhWlSGqnsOb6+4o9HK2ALpuOQ6S9xcBDE+ 2h2OaPdaF4pcMcKrtgsbvoeDdH7DBa/NTznTGUOOdyeNtSZoujzThbIeXaGNrN76dv/oWIcZ+ C08S0D2qSYPue5bKYmDoYIvI+LCVuJmGSp25XCyv1uWabPVG/9/t7VLEKG+PoDtRx7lCYojdP qtWosuA+f1PNE5lXInmWac0Uic0G0SIjA+3ukdpyZkbzUXQL+ONrS+wx7K4qiHrToVgO0G411 ahYc7DfYME3NwX0kFwSX0XpLGZkU+UiyGazdulD2x7FoVLoj8RZBdUYqANRHeyY2LPg4Olafd /D0PrdtZXuxJXSPdgy4EdXRZCmqRyZqpkDdXAmVpUUSZOApQtxFyrA9ccVykaqGlD/TX5tUw+ k69uiaBtj5o782y974JesjDerwVl0yTU5LQ/zi/NLNW8Pdu6PPunrW84m+Px3/6iTxbS0KbKR oRE8vu0dRzbL86sAkjKMtJ7CC5Pt7P0uAqDkMpjUg7ci8C5UtMXTY7SaqPLtfDjWkmVOfnLCh DdaM///slS+bLYhxG/Y/QtTSinP0byIWO/vxIDbVrN8k1QX86c0PHk6MsXy/cWpnUENo= Subject: [Caml-list] [ANN] findlib-1.6.3 --=-KSCxQe7ECRvLtw/Axg1X Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable List, there is a new version of findlib. It's mainly a bug fix version: =A0- "ocamlfind printconf" respects the environment variable =A0 =A0 OCAMLFIND_CONF =A0- findlib is built with the -opaque switch if detected =A0- Fix the install when there are spaces in the path =A0- New options: ocamlfind query -qe -qo, for suppressing =A0 =A0stderr and/or stdout There is also some experimental support for the native toplevel as provided by=A0https://gitlab.camlcity.org/gerd/ocamlnat. This is sill work in progress. The new version 1.6.3 is available on the project page: 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 ------------------------------------------------------------ --=-KSCxQe7ECRvLtw/Axg1X Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAABCAAGBQJX8XzyAAoJEAaM4b9ZLB5T1nsIAI/bh4G5LxpUv6ZJC5/JCo/b xzJ5xXbZQzBNQxUOMsRXO9nK66GG0DwWYhiLtj1Ph9KEnsAo5wwNyViSW0tzmrkM iye19IAC6wgiroKEKwQdeSiRevVP43GQMNTjUBXbqwLaKfLpyYNEw1J3t4zBBn3p uZ9mSr0AI9NEvOqbhKqEhRrkfnT/iXNJEJPK1W9LmpwjtdoWz5tNWKrqEJ4lRpnU dttkZQ209xu8piqpPivvNF2toVQHhi1TIuZ9es1RGzwIBGxi/rN1yy41W76+zbbU FtLkJ9d7GGqXu9gmnF3tlVKAjnyjBVgUxGYVthRwPedl/Gcib7h/N+moy2hAB94= =Bjvm -----END PGP SIGNATURE----- --=-KSCxQe7ECRvLtw/Axg1X--