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 CD28E7FF9F for ; Mon, 7 Mar 2016 14:53:03 +0100 (CET) IronPort-PHdr: 9a23:wZH7GhXN3ACKBezEEFhNsH0CM8LV8LGtZVwlr6E/grcLSJyIuqrYZhGEt8tkgFKBZ4jH8fUM07OQ6PC/HzxZqsva+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8KVM1wD2WH1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GLdRCTBjN2Eu+IW/vhDGSU6L52AAemQQiBtBRQbfukLURJD05wT3rOY14zWdOdXzRLYyEWCj6alsYBDlkitCLCI+9HnSg8p2yq5W9kHy7ydjypLZNdnGfMF1ebnQKIsX 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 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BvAAB7h91WlkrASNldgw99bag8ik6HNgENgWkXCocXOBQBAQEBAQEBARABAQEBBw0JCSEvgi2CJ0mBYhMJiBoDAQmgVp53CIUfjDcLQIEnBYdbj0+BKQKEOIgKgi6Gd4VTAocmhy8eAQGCBFKBUWkBiTwBAQE X-IPAS-Result: A0BvAAB7h91WlkrASNldgw99bag8ik6HNgENgWkXCocXOBQBAQEBAQEBARABAQEBBw0JCSEvgi2CJ0mBYhMJiBoDAQmgVp53CIUfjDcLQIEnBYdbj0+BKQKEOIgKgi6Gd4VTAocmhy8eAQGCBFKBUWkBiTwBAQE X-IronPort-AV: E=Sophos;i="5.22,551,1449529200"; d="asc'?scan'208";a="167450188" Received: from mout.kundenserver.de ([217.72.192.74]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Mar 2016 14:53:03 +0100 Received: from office1.lan.sumadev.de ([188.110.5.208]) by mrelayeu.kundenserver.de (mreue103) with ESMTPSA (Nemesis) id 0LyBrp-1Zp8JP0zSv-015dfk for ; Mon, 07 Mar 2016 14:53:02 +0100 Received: from [IPv6:fd55:cf:6598:7f:343a:3319:c412:fdfe] (unknown [IPv6:fd55:cf:6598:7f:343a:3319:c412:fdfe]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 79E93DC05D for ; Mon, 7 Mar 2016 14:53:01 +0100 (CET) Message-ID: <1457358775.10458.3.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: caml-list Date: Mon, 07 Mar 2016 14:52:55 +0100 Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-N+4rPBG8U8Ex2vqcJVkP" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:N8S7NdRbc3XBw/fHw6E11ouEWCDvmKyp7ncc/SGZO5vBl2rup0o rfL6WFG2R6gydAiQ9id8BPADlX/aQUxZJT89MtApgj5kjdX6QJt2A+QcEyxbo+7Gk1SmCc2 lEjsaxvgyZn1R95Dk1RL6uYn8oR6mDIMVgLrQ4JImi9+7bneipidxgWRfN8afFBvanzIA8s VPVDOa80z5uKz2dchYQgQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:ixd0i4j9bh8=:xejI8ZrribMYU+yp4mIQw/ s+4pWG17lZ8aARo0hYYqEpKX2Qq4/RCHbTkfz2UqgCCEzqCQy5pTQNQ24Gx8UtyTY6rHZmsU6 Btu5zD22Ok1zoxfE8R0RMn5pUj9R9eNvyWEK/Ep10WRN/cCIkl2iEinWDqPm4xkRQCjF9Cs6k q7HBRRLHyLvbtWdVB8dvLjWGBpF33Mln8tgw7QGXy94jZ5WkAJ45tAwWqWkFSC2cciCGJpIBM jUgFHQVJHZb2o6jHlRAqhysE+QFPn8r4c+WNemrxYStBzwp2/nxkNKoLQs23gEIQ4zQ6NrDj5 EW9142hcbTpkYvzXgLUwCFIkON3gtsFpAVLZ6ZzSLt6531cQaBMONnSNGTQgUullLgkT9wp4x i2N06iQzvVhhPqLlKMdZCW0ok+PHiKlooC/+5BXJEdaSswnyXp2gvTjpaGoYb0SWKAf7CpwJL nEY2wpYBfB7D9zhFjRrHdXVdd7LQBK/54nAhjSyqkHiN7Jafd3rwSbl6vxcW0lV23TZ+hE6fk SudZMrHFYytF+Wvdm3iIZiGYnWuHBwbh9Fwk8DTsPSq9HTYsRP9bx5f9EFXpf4EaXghIaKJNQ prtlDZIRz8KPWhLp+gMBhi/CbonVSAcq+Z5QephBj+LK3W2AOF4pWH5Cg9ZC0dVL3qXA0P7Mq dGuohD/y7Qcv3Qp+xL1ovB6HccxCzeOFUVKVZ7IWdGcmcY2btMZCC/XC0zevglnm8jSI= Subject: [Caml-list] [ANN] findlib-1.6.2 --=-N+4rPBG8U8Ex2vqcJVkP Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable List, there is a new version of findlib. It's only a bug fix version: - Uninstalling findlib no longer uninstalls the ocamlbuild library by=20 accident (Gabriel Scherer, Edwin T=F6r=F6k) - Adding an "ocamldoc" library, providing the cmi's for ocamldoc=20 plugins (suggested by Arma=EBl Gu=E9neau) - Support for OCaml-4.03: recognize that the new -color option has an=20 argument (reported by Guillaume Bury) The new version 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 ------------------------------------------------------------ --=-N+4rPBG8U8Ex2vqcJVkP 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 v1 iQEcBAABAgAGBQJW3Ye3AAoJEAaM4b9ZLB5TBKkIAIVXCaS73qWAa1nQ/blkLylu YLEFY8+rlj4ia2R5Z95lPOnTbNmz2eBpGmrTmsZ0MazAlvitPwMDZ5zIu32OzJXZ VnX7ums1K8pNWOcekkMhWXSf55O8nF2quHnrH91WEiTOXzuLLVVehA1c96BqeUSP AzI6WT1irAYJUf1Kfv02OiRWWBBttBwbZnmmE0s6PBMvVxZTLF+M+EiQbIs0hPMW RngLd7QCXEojRDtSvsRnmm+IESwp/83BbVRTGk/xX8g+RuwE0q8FU2mdM0dFPxfm 7p5lQVfvVGcI8K93yXCEVleDOugrGc1ePJsd/SboVfa9bxkaLMT1XFI5XPOmOJM= =Qm09 -----END PGP SIGNATURE----- --=-N+4rPBG8U8Ex2vqcJVkP--