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 9120C80130 for ; Sun, 21 May 2017 17:09:39 +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.75; 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.75; 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.75; 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=3ALHsMvRxRIGAR0qrXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+0QIJqq85mqBkHD//Il1AaPBtSFra8bw6qO6ua7CDNGuc7A+Fk5M7VyFDY9yv?= =?us-ascii?q?8q1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uMRm6twvcu80XjId4Kqs8yAbCrn9Ud+?= =?us-ascii?q?hL329lK1aekhTm6sus4JJv9jlbtu48+cJHTaj1cKM0QKBCAjghL247+tDguwPZ?= =?us-ascii?q?TQuI6HscU2EWnQRNDgPY8hz0XYr/vzXjuOZl1yaUIcP5TbYvWTS/9KhrUwPniD?= =?us-ascii?q?0GNzEi7m7ajNF7gb9BrxKgoxx/xJPUYJ2QOfFjcK7RYc8WSGxcVctXSidPAJ6z?= =?us-ascii?q?b5EXAuQfPehWsorzqVUAohSxGQahH+zvxiNSi3HxwaE33eYsHAfb1wIgBdIOt3?= =?us-ascii?q?HUoc30OqgMS+C60bTDwyjfb/NR3Tf98I3IfQonofGKQLl9dsvRyU8hFwPClViQ?= =?us-ascii?q?ppLqPymI2egUqGib8+1gVea3i24isQ5xpD6vyt0xhYbXn48YzE3P+yt+wIYwP9?= =?us-ascii?q?K4SUh7bMarEJROrSGVKpJ6Qtg+Q2FvvCY60rgGtoS9fCgM0pgo2gDQZ+SbfIeS?= =?us-ascii?q?5xLjUPqeITZkhHNlYr6/gAyy8Uemx+bhVce0yE5HojRYntTOrHwA1QLf5tKaRv?= =?us-ascii?q?Z54EutwzSC2gDL5uxHIU04j7fXJp0vz7Iql5cetV7PEjL3lUnriqKda18q9fKy?= =?us-ascii?q?6+v9Z7Xrvp+cOJFwigH5Kqkun8u/AfkkMgQUXGib5OK826D98k3/W7VFkOc2kr?= =?us-ascii?q?fHv5DAP8gUu7C2DxdU0oYl9Rm/Ey+r3MoFkXQFNl5IegyLg5L0N1zKPvz0F/Wy?= =?us-ascii?q?jlS0nDdu3f/GP7nhApvXLnjElbfsZbd960hSyAo01t1f6IxbCqscL/7qQU/xqN?= =?us-ascii?q?vYDhshMwyx2ennDtN92pkDVm2RGqOZKr/dsUeU5uIzJOmBfJMatyz4K/gh/vLu?= =?us-ascii?q?iX45mUQBfaSyxpsWaHW4Hux8LEmDYHrshM0BEWYQsQYkQuzqkg7KbTkGbH+3W+?= =?us-ascii?q?c45yonQNatBILHA4Ssm6Cp3SGhH5QQaHoQWX6WFnK9WIieV783dCWWOspolDpM?= =?us-ascii?q?AbmnRYgJ2hy0uErh171jNu/d/CteuZ+1h4s93PHaiRxnrW88NM+ayWzYF2w=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AkOgA8rCFZh0vASNlcHQEXAQYBCwEXA?= =?us-ascii?q?QYBg38DgQmDb5s0Ly2NHIhOgg8HJYt4QBcBAQEBAQEBAQEBARIBAQEIDQkIKC+?= =?us-ascii?q?CMyKCbTKBAQJfDQYCAQEFih8BCaNckAuCJostD4VsgnwLilqCYAWJRpRQeWoDg?= =?us-ascii?q?ieCFXuNb22IJwWGaAKLZ4hhIQKBPk8jFEaEM1SBcXQBiRgBAQE?= X-IPAS-Result: =?us-ascii?q?A0AkOgA8rCFZh0vASNlcHQEXAQYBCwEXAQYBg38DgQmDb5s?= =?us-ascii?q?0Ly2NHIhOgg8HJYt4QBcBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCbTKBAQJfD?= =?us-ascii?q?QYCAQEFih8BCaNckAuCJostD4VsgnwLilqCYAWJRpRQeWoDgieCFXuNb22IJwW?= =?us-ascii?q?GaAKLZ4hhIQKBPk8jFEaEM1SBcXQBiRgBAQE?= X-IronPort-AV: E=Sophos;i="5.38,375,1491256800"; d="asc'?scan'208";a="224373824" Received: from mout.kundenserver.de ([217.72.192.75]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 21 May 2017 17:09:38 +0200 Received: from office1.lan.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue103 [212.227.15.183]) with ESMTPSA (Nemesis) id 0LcWHu-1deKe72EMg-00juiz for ; Sun, 21 May 2017 17:09:37 +0200 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 1CE3EDC05D for ; Sun, 21 May 2017 17:09:35 +0200 (CEST) To: caml-list From: Gerd Stolpmann Message-ID: <2e269150-4100-dde8-bb92-611ea7096159@gerd-stolpmann.de> Date: Sun, 21 May 2017 17:09:24 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="VtLeNBG5wt6KIImrVGJJbh2tXsaH9AJ1x" X-Provags-ID: V03:K0:fylsk1IZdyu2LIgad26GKGU1XCfT4tCBFMRMqf2u27ENCqBYwNW 2FjiRygtJslrjJNqOjRrqxui4Evdk4Gv+4o/un1/pC89embPiHb/6enCjHYv8JSZwwxcWqj l48weCVcjTrH7gwSMeaR/0DctHTgOudx0/tznn4QiTpkc1aD0WiegCdp8jn+lkwV6iuXrLR J88ctxf1pJK8UM4EIma6g== X-UI-Out-Filterresults: notjunk:1;V01:K0:fyyDtElw6Uw=:WPPkF62z515pIiOq1W4a3b dxQNDcBPyc7+KCnztajeqgMxxgFPpsAOPJEoCm9sf/ePEuTSdV9dzeZwcccrhmWBbyd963fYs iGVspxXt8wKDfb6YBjgv5XQ/1DAMvsAYGWJ3gGWFkgqbDTwjSCD6ugKC6t8DuLMhVLSIPFF2M zcR6ARxtDlJUVz/qqm7EXnM8Ze0ADFyqmzZmWtaDDUI2BKYeWztqmgx15CYi0vW/RCUzeF8qx q5dSu6DKzNblcvnBdqA386FlgnXMDeS+Umu9LUQFiNcWLlgadwB0dYBQKXM4zactFC6Hft5Sh 8fhd5TeGr7WP2qqSuH1zHviYM5j5OXJRWYgf2Sxjtztei04ksHcZ+v+IZa+pih4f1DZMXkRJd DOq7YiwlDE+GKfG2/w/VLe0tgoRYQ5oCqYnaUuARB0uFXFkixoM/2NgFe5+qICKGcgxZ+sqdP V7KVqcCwBIETNdMGrjV8ADEf8U5EcLGYGM2XeuYZdB3Wz5DZ/6bTETGC6SeUdXxFa9JxRF+N4 enibkXuTMECYTq1qiJHZ/xA8Qb7J0zu5uJy9XUU6ynibQp4Ab57aYyM+Arx0XGzr5/pGebMh7 aChotLc+r5x8QrMJnq+OWWaBZwyvQ+UfpytM9QE/sOm5rd4fSJuPTQlO149ZVexm6IlRCbIib oKSNAv1LAwjNAG3eAS9IYYxJHn3jU2ZV0l5spGgeAsr2E33aW/91W/oPcoQ78oTXD0M4= Subject: [Caml-list] [ANN] findlib-1.7.2 This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --VtLeNBG5wt6KIImrVGJJbh2tXsaH9AJ1x Content-Type: multipart/mixed; boundary="K1kx55KlUqQ7Rg6JLv4qAQjmAjgqVKfxR"; protected-headers="v1" From: Gerd Stolpmann To: caml-list Message-ID: <2e269150-4100-dde8-bb92-611ea7096159@gerd-stolpmann.de> Subject: [ANN] findlib-1.7.2 --K1kx55KlUqQ7Rg6JLv4qAQjmAjgqVKfxR Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi list, I released findlib-1.7.2: - support for termux (ygrek) - the toplevel support is now also available as package findlib.top (Jeremi= e Dimino) - (hopefully) support removal of packages in parallel - the "num" library is now optional 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 ------------------------------------------------------------ --K1kx55KlUqQ7Rg6JLv4qAQjmAjgqVKfxR-- --VtLeNBG5wt6KIImrVGJJbh2tXsaH9AJ1x 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 iQEcBAEBCAAGBQJZIa2pAAoJEAaM4b9ZLB5TCo0H/0BRtndMnr1wdH1hOVPQnF4h VM1GiFKR5AnkpKZIAHvnHIQazEV8pt1KoXO2SgaDutEF7nuvrpwuaz6quc8f//is l5zDJibZjnr1C7MD6LmbG3f6Cg0lfZRrgb9SFNwMF15KdNrCxSygPBwiJTEeaXiI Ll/U9RlHNI+Fe3OeNpVdwX+MNyCSXIuyB8tc5g9RHCoDNp+sDqXQqOpDsdKALBXt 10v4et6pPLxd5tmMjItjWbvkNqHg7mxbTlTryEeeTZoLM4pRcYz7dcFajWsLqgEk LNNm+b/wJis/8OSYwGNtlXW69Og89kLfdLr+ND1QkKXBPQcxj6pxW8BjfbsPloY= =ZQC9 -----END PGP SIGNATURE----- --VtLeNBG5wt6KIImrVGJJbh2tXsaH9AJ1x--