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 E64C18005F for ; Thu, 17 Nov 2016 16:54:21 +0100 (CET) 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=212.227.126.130; 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=212.227.126.130; 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=212.227.126.130; 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=3AvPp0rhG9/yOhYgMhjei6hJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zr8ywAkXT6L1XgUPTWs2DsrQf2rGQ6v6rBzxIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZb1/IA+roQjQucUbgIhvIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ky?= =?us-ascii?q?oMKSI3/3/LhcxxlKJboQyupxpjw47PfYqZMONycr7Bcd8GQGZMWNtaWS5cDYOm?= =?us-ascii?q?d4YBDPcPM+ZGoYfzu1QAqhSxCBKjBO/z0DJFnGX70bE+3uknDArI3BYgH9ULsH?= =?us-ascii?q?nMrdv6Kr0SXv2ox6fV0TXDaPdW2S/46IfSdBAhp+yHULVxccrXx0kvEBjIjlqO?= =?us-ascii?q?poz/IjyZz/8Ns3Sc7+pkTeKvjnQoqwd3ojS128gjlJDEi4QIwV7K8iV5xZw6Jd?= =?us-ascii?q?y+SENjbt6rDoFQuDyDO4ttXsMiRGVouD4/yrIcv567ejIGx4k5yBLHd/OIaY2I?= =?us-ascii?q?4hb/W+aQPTd5hGhpeLWlhxa990Wr1+7yVtGs3VpUsyZJjMPAum4T2xHR8MSLV+?= =?us-ascii?q?Vx80a71TqS2Q3f9vlILEM0mKbBNpIswbA9moASvEnHBCP6hUT7gLKQe0454Oan?= =?us-ascii?q?8f7nba/jppKEN497lAX+MqM2l8y6BuQ4LxQOU3KY+eSh0r3s4FP2QLNRjvIoiK?= =?us-ascii?q?nZro7VJd4BqqGkHQBZyocj6xChADe6yNkUg2QLIExfdB6ZkYTkOUvCLO3mAfq+?= =?us-ascii?q?mVigjTlmy+zeMr3kGJrNL3zDkLn7fbZ67k5R0AszzdZR55JTEbwBL+z8WlXsu9?= =?us-ascii?q?DBFR85Lwu0w+L/CNV4zIweX2SPDrWEP6zMqVOI/P4gI/GQZI8JvzbwM+Qq6OTr?= =?us-ascii?q?jX89gFMdeaip3YALaH2jBfRnI0CZYWL2jdsbEGcKuBA+TO3wh1GYXz5TfSX6Y6?= =?us-ascii?q?Vp7Tg+DMeiDJzfDtSmibmFmSO6BYF+Z2ZcC1nKH22+JKueXPJZRy+ILodajjsA?= =?us-ascii?q?Tb2oTYlpgRCougjSxLd9Iq/P5iocrZfq0t4z6+CFxkJ6ziB9E8nIizLFdGpzhG?= =?us-ascii?q?5dAmZuhK0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BdAACT0S1YhoJ+49ReHgYMGQYMgmkjA?= =?us-ascii?q?QEBAQF3gQCxGogZggcohXmCE0ESAQEBAQEBAQEBAQESAQEBCAsLCR0wgjMaAYJ?= =?us-ascii?q?2JIE+EwmIZAMBCa8Si10MFw6FQ4xoC4MKBYhRkXKBTAKEcowHZYc/hiYCiVOIC?= =?us-ascii?q?CUKU16DU4FpcQGHeAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BdAACT0S1YhoJ+49ReHgYMGQYMgmkjAQEBAQF3gQCxGog?= =?us-ascii?q?ZggcohXmCE0ESAQEBAQEBAQEBAQESAQEBCAsLCR0wgjMaAYJ2JIE+EwmIZAMBC?= =?us-ascii?q?a8Si10MFw6FQ4xoC4MKBYhRkXKBTAKEcowHZYc/hiYCiVOICCUKU16DU4FpcQG?= =?us-ascii?q?HeAEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,506,1473112800"; d="asc'?scan'208";a="200726007" Received: from mout.kundenserver.de ([212.227.126.130]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 17 Nov 2016 16:54:20 +0100 Received: from office1.lan.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue001 [212.227.15.167]) with ESMTPSA (Nemesis) id 0MB6xw-1bxXe32gtw-009xsn; Thu, 17 Nov 2016 16:54:19 +0100 Received: from e130 (unknown [IPv6:fd55:cf:6598:7f:d92c:6c6a:d3b1:f0ad]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 9EC8BDC05D; Thu, 17 Nov 2016 16:54:18 +0100 (CET) Message-ID: <1479398053.5088.36.camel@gerd-stolpmann.de> From: Gerd Stolpmann To: caml-list Cc: Thomas Gazagnaire Date: Thu, 17 Nov 2016 16:54:13 +0100 Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="=-lsTysJSfzB4uAAu313hS" X-Mailer: Evolution 3.18.5.2-0ubuntu3 Mime-Version: 1.0 X-Provags-ID: V03:K0:PoYwLsVMoU6KlG8uar1JZ0G8qWOMFoH7sTgBvl1atCpsJbudexg NHp5+U3jHwFhjbYOkIrLSiDUV003Zao6JURKPBDYylc542C6gC8mg2vqMg55Rx/uTQ9369H IitcgxSwJXRK9tnuvjSKKwXxoCYiARSfyWovLvLxjST2ELaWZFqrV9E8tmWBggcCyDKFxNG HTOvvW+cZBog64OALgnsw== X-UI-Out-Filterresults: notjunk:1;V01:K0:0bkbo9NJSdE=:pzY9NPNrGCCMQ0kgVeh7jc VTKL3+t7da3QcibPjEfFgqCc4hc52vVUrhgUW0IMjE7OuFoL3HcbmRpS7avInGhGTNnYcsXbG FN7PAU+oTgeC+Uq1fvYAJCU7HC6/b0PE3IRvGaXp5MV3EeK8aEs6x7R9faHU/8ZleB8f8u1p0 GagkQtXh1a1DX5kwVTmN39cug2az/hyqvPySQ6DYmlFuukq9mCJdmpWf/w+mRd7Ml5X9av/1D TdvUL8FlDpW1y+NrdBQXqLzPUPF7bT4/t7gPxK2iuZaR9VWWomEYF7DUppnMY76jgswQ0N064 AlR4UKLtyw6WoPqzFvDqC1zcLEYv++s1o3kcO/ACBoV7UdngWMIjlf4HB/bpj+L9GfFmxgLDH DyzVY8z3llSH/mcAaORuvzm+Ni1aM8dDQcxikCM6mrc16Ilp5Y3L9euhRRehLA6EJO92F72Lg RjVfsAZY+xDnYeAhUJ91w6lIkU2IPwkBE9LqYjXixSn0vd+a2ed+2BHMKB95sMVvD7V2NFuOP 4RMN9JJKmgWB8EED4MTHCYdGjn5DTnqYYKtjvhjYZJVGOjqF9BlJF9QGIY1DGfuMomawINKSM KG1mL2neCCrv0KfxoSs6Co7gYM5HF3HoPn07yEJ0eDpX8rXdZStKJSapJ++Tr76dkYJprUx8R 7fUG88j9xgL9iqnFxPmpuW8N5aBNvGBWd5XcCCKP+O3Wl7GU3oQbS41wtZnz0sYLC9Mc= Subject: [Caml-list] [ANN] findlib-1.7.0 --=-lsTysJSfzB4uAAu313hS Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Hi, I just released findlib-1.7.0, with: =A0- new command "ocamlfind printppx" (by Hendrik Tews) =A0- support for raw_spacetime (with Mark Shinwell) =A0- some bugfixes See the project page for more information: 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 ------------------------------------------------------------ --=-lsTysJSfzB4uAAu313hS 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 iQEcBAABCAAGBQJYLdKlAAoJEAaM4b9ZLB5T2H0H/i45gVOd1qDkpbqUmYIdZ9Z3 emSSAyCMINTeNYG2WBnLqZkPvkfukJYYzZHkjYIc0ktWl/E3T9cL26ehNJeJfOFn a4H143WVQ5+ex7p8LF9ZYbfa2e0O6XxVILnzczO8GBz5booKVYbBePxUO5DjOcig qxjoSV1dzhrjDbHvKDES9bgRTtbMkpnEl5axe/ktHh/5W1ThHg6YVHQfLA4yhq1k TxtP2Ejehis4SHdaMSsxvgtJwytstIUi50b5GYw0YGETgjvBIvJp2I9y7/pN1OV9 WuMGcG/12B00Fmc3d3ThwdpvOr7HRhKNO5CL0Ag3pjp/B0PnKMLoghwaplER8Rc= =PQEx -----END PGP SIGNATURE----- --=-lsTysJSfzB4uAAu313hS--