From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 688A95D5 for ; Mon, 6 Jun 2022 19:11:04 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:from:to: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=HEcPwlhB6nmlQgp37HfdTvOtsZ4wDSIG0xS64plybVk=; b=MYcfzGiGc8fep6RgSPPGI1PMfzA+Sfri982x2t7j/D4Qymb4IdLYe/p7 xPNyx6Qfav47J4zEq51J+w+QpVx5tFocfOd85MJjLHm4ldxtFOuGY48An W7Ehq+VwG8uegCbNA5Ov96ARFufr9yZmQaWWr/MnLExppvdNumKv/H1SM c=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="5.91,280,1647298800"; d="scan'208";a="39672042" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Jun 2022 21:11:03 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E1751E0AC5; Mon, 6 Jun 2022 21:11:02 +0200 (CEST) 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 A2B44E007E for ; Mon, 6 Jun 2022 21:10:59 +0200 (CEST) IronPort-SDR: 8N0EvTcsKiaoz4oTV+jFHey1Mx3ljKTM83HEXoCKoJIYQCd9pzrhGj4AEJTlmkbSW0QZtRfIh/ 9sTa/m6OfS3nTmImykTOZezuDZHtGbFNRWWkrEpo1B2+U/S2dVHBi1ocI0vHvQkfxcQA+5vm8M OyppzWYjjOGsalX+UVf7GQ/gtwVtI+vy9t7znHM11LKgpm7k92UyF8EZ4DtRP93Xt+LG174MlC J0q2qMioFPqBftVWaDQkllWDt+zOW/JBw121HCix2e2pHVtbNR0Dhka2NzSPHZSOeDcGISGatg OOqZ2cELvG0FIH1diXW5V2Yh X-IPAS-Result: =?us-ascii?q?A0DiCQB9UJ5ie0rASNlagQmDc4EAVywEC0SETokPhVmCJ?= =?us-ascii?q?RRYkS6MSwsBAwENNwgBAgQBAYpKAh0GBjQTAQIEAQEBAQMCAwEBAQEBAQMBA?= =?us-ascii?q?QUBAQECAQECBAQBEwEBDQ0JBgcLBg4QBUFkYgGBTgGBeQYEMA2CNSKEFRUdW?= =?us-ascii?q?QImAmwGAgEBBYJ0AYMcAQqdHo1NGjV6gTGBAYl+gREsjmMnHD8BgU2BFScMg?= =?us-ascii?q?VaENgsDgiyDCYJlBJc5KAQPAxoFKDQSgSFxAQgGAwMHCgUyBgIMGBQEAhMSU?= =?us-ascii?q?x0CEgUHChwOFBwkGQwPAxIDEQEHAgsSCBUsCAMCAwgDAgMuAgMXCQcKAx0IC?= =?us-ascii?q?hwSEBQCBBMeCwgDGR8sCQIEDgNFCAsKAxEEAxMYCxYIEAQGAwkvDSgLAxQPA?= =?us-ascii?q?QYDBgIFBQEDIAMUAwUnBwMhBwsmDQ0EIx0DAwUmAwICGwcCAgMCBhcGAgJxC?= =?us-ascii?q?iYNCAQIBBwdJRAFAgcxBQQvAh4EBQYRCQIWAgYEBQIEBBYCAhIIAggnGwcWG?= =?us-ascii?q?R0ZAQUOKCcGCwkhHAofEQUGFgMjcQUKPg8pNTY6FwpEApkXK2wiAYEck1IMF?= =?us-ascii?q?o9InxWCG4E9LgeKaJFZgwUGQINjgWGRGwaRdpZoiUeDZog0kVKBeIF+TSQUO?= =?us-ascii?q?4JoCUUBAgECAQwBAgIBAgECAQIBCAEBAgGSQYRhhUxAMwI5AgYLAQEDCYVHA?= =?us-ascii?q?QGKKwEB?= IronPort-PHdr: A9a23:GWocjByOVumelFrXCzIRwVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z heZvK02xwORFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoV J8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9q52uyo5pHffwtFiDWybL9uM R67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84T aFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8 qhrUgflhiQJOTE2/m7ZitF+grxHrxyuvBF/34zZbZuJOPZicK7Qf9UXTndBUMZLUCxBB5uxY YoRAOobIOlTspTzp0cJrRu6HQmsAfngyjlOhnTr2qA60uIhEQ/B3AE7ENIBrm7Uo8jsOKcJT eC1y63IzS3Gb/xM3zf97pLEfQ0/rvyVW797bMXex1U1GQzfklWQtZLqPymT1ukVsWWV7+htW OKyh2I6tQ18rTiiytoshIfHhI8Z1lHJ+CpkzYsxK9O1R1N3bcOlHZZOuC+UN5V7TMwgTmxnp Ss217sLsoO1cigNzZQo3R/fa/qffoeU+B3jUeKRLit5hHJ5eLOznRGy8VKvyuHkWcm7zkxKo TdcntnXqnAN0BjT6tCCSvRn+Eeh3yyD2B3N5exCPEs6lrLbJoY/zrItlJcfq0bOEjHslEnri KKaaF8o9+qn5uj/YrjqvIKQOoB1hw3kPakjmdazDfk4PwQSWWWQ5P6y26f5/ULjRbVHlv02n bfdsJDdPckbo6m5AxJJ0oo56Ba/EjGm38kGknkBN1JKZgiHj5b3NFHUOvz3EOmwj0ytkDdt2 f/GIqXsDovQInXBirvsf6hx51RBxAc309xT/ZBZB74ZLPL2QEDxtdjYDhEjMwyzxubqENR91 oUQWWKIGaKZP73dsUWV6e42OOmMeIgVuDLlK/gg/fHui3k5lUUAcqa3xZcXbmu3Eex8I0qFe XrsnssBEWASswYjVODqkkGNUSZPZ3auWKIx/i00B5ijDYfHX4ythL2B3DynHpBNfWBHClWME W/yeImeWvcMbjiSIs57nTAeW7ihUdxp6Rb7vwb/z/9jL/HI0iwer5PqktZvtMPJkhRn2jFuA 4ymz2aJV2R9mGVAEz4w0qdXrkFnxhKYza98m/lRE9oV6/4fAVRyDoLV0+EvU4O6YQnGZNrcE D5OI/2jCDA1FZcqxsMWJl16A5OkhwzC2CyjB/kUkaaKDdo66PGUxGD/cuB6zXuOz6w9lx8+W MIaNGuogYZw+hLfQpXVlEGBkq+sc+IQ0X2F73+NmEyJukwQSwtsSePAVHEbaFHRqIH44E3FZ 7CjE7hiKRdGzdaHI61MLNHk3h1dXPm2HtPYbiqqnnuoQxaFwrTZdI3xZ2AUxznQEmABlB0Pu 3WbMwQzADysuXzTFnpiGDoDemvK9u9z4DO+R04wlESRalF5kqGy4lgTjOCdTPUa2vQFvj0go nN6BgT12dWeENeGqwd7GccUKdog/FdK037YvA1hL9ShKa5lnFsXbwVwuQvnyRx2DoxKlcVio mktyUJ+LqeR0VUJcD39v9i4O7vZLUH98QqjLrXK3VXG1d+Q/OED5bVwqlnuuh2oClt3629ug Lw3mzOX4pTHChZXUIqkCB9osUcg4eiLOG9iu9CxtzUkK6S/vz7c1sh8AeIkzk3lZNJDKOafE xe0FcQGBs+oIehsml6zbxtCMvoBkcx8d86gafaC37ameeh6mzfzx2VB7odV3U+W+29nVunMx 5MMxffe0gbNBFKexB+x99v6n4xJf2RYH2yxzgDrCZRdI7ZueoITDG6oJYu7y58t4vylE24d/ 1mlCVQc3cavchfHdF3x0zpb0kEPqGCmky+1p9BtuxcuqKfXnCnHwuC5MQECJnYOX256y1HlP YmzidkeGkmudQkg0hW/tw78wOBAqaJzInO2Iw8AdjXqL2xkTqq7t6aTK89J5pQytCxLUeO6K VmEQ7/5qhEe3mvtBWxbjDw8cjirvN3+kXkYwCqcKnh0hHXUY8013gvY4MTZTPhXmDYLBWF5h TTRGlmgLoys9NSQmY3Et7PbNSrpXZlSfC/3iIKY4XHiuis1W1vmzqr1xYG0dGpymTX23NRrS yjS+RP1Y42wkr+/LfoiZU5wQln198t9HIh61Io2npAZn3YA1fD3tTIKl3n+NdJD1Ofwdn0IE HQKxdDSyAfowkEmNW6Ow5r8X3ObhMdsLYrfACteymcm4sZGBb3Bpr1CkyxdrVeioUfKff95h jIUz/1o5HNQ0IRr8EI9iy6aBL4VB0xROyfhwg+J496Jp6JSfG+zcLK02SKShPiHC7eP6kFZU Xf9IdI5GDNoq954KBTK2WHy7YftfJ/Ra8gSv1uaiUWIie8dM583mvcQ4EgvcWvgoX0ozfI6h h1yzNm7uoaAMWBk4KO+BFZRKDT0Y8oZ/jylg7xZm46a2IWmH5MpHTtuPtOgVfWzDDcbrujqL S6LFyAg7HSGH7bSGxSS8llrtTTDHtHjNn2aImUY0cQ3RBSZIx864khcVzE7k5glUwGykZa4L wEmvHZItwS+9Ucfr4AgfwPyWWreugqyPzI9SZzEaQFT8hkH/EDNd8qX8uN0GShcuJyntg2Eb GKBNGEqRSkEXFKJA1f7M/yg/97FpqKZAOS5B/TDe7nLsvBZU++NzJSplIdrtWXpVI3HLjx5A vs311AWF2h+ANjcki4TRjY/kiXQc4iYuRGw9ytso9qh/e6tVA+ltu7tQ/NCdN5o/R6xm6KKM eWd0T14JThv3ZQJ3XbUybIb0Tb6aglrcCSxV7cdsyLASrndgLFaFVgXZnErXCOnx60xxAUII tLcjsvw37h+yPI4WQ8tvbnJlcyzaYkRP2a5LFbOAkDNOLnUfVX2 IronPort-Data: A9a23:4+YxBa2TqpL6sLORgPbD5S13kn2cJEfYwER7XKvMYLTBsI5bp2dVz 2pKDziEbq2JYGWgeth2bdy29kxV7MOEnNQ3Sgo53Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/nOHNIQMcacUsxLbVYMpBwJ1FQywobVvqYy2YLjW13V5 4uryyHiEAbNNwBcYjp8B52r80sHUMTa4Fv0aXRjDRzjlAa2e0g9VPrzF4npR5fLatU88tqBe gr25OrRElU1UPsaIojNfr7TKiXmS1NJVOSEoiI+t6OK2nCuqsGuu0o2HKJ0VKtZt9mGt9VSy clGksC+ciJzLqfqnacTaQFoDwgraMWq+JefSZS+mcmU0lGAcGbqz/hoF0wsI4ACvOp6aY1M3 aZBd3ZSNFba1rjwn+7TpupE3qzPKOHqOo0Ykn5t1z2cFuohRYjGSqPMo9NVtNs1rpkQRayBO pFDAdZpRDDFWDZOCgYYMbEZvfqI31rGbRZ+kGvA8MLb5ECKkVAvieGzWDbPQfSBTMBR20KZv X7u5HX8GhhcNdqFyDPD/GjEuwPUtSb8RZ5UF6C++vNsm1CJ2GEJThEbPbemnRWnokudWs5UD BAawQ90vaIU8Q+ldMHNQzTt9RZooSUgc9ZXFuQ77iSExazV/xuVCwA4c9JRVDA1nJJvH217j Tdli/u4WW026NV5XFrHru/8kN+kBcQCBUMvDRLooCMA5MT/5oIuiB7CSM1uCrC4lJv5FFkcI gxmTgBu193/buZRj81XGGwrZRrx+fAlqSZrv23qspqNtF8RWWJcT9XABaLnxfhBNp2FaVKKo WIJncOThMhXU8zRyHHWEL9SQOH2jxpgDNE6qQEwd3XG32v8k0NPgagMulmS2W80bpdaImWBj LH7418Jv8Y70ISWgV9fOt/tVZ1zk8AM5Py8GKmcb9xSb4J3eRPP9S4GWKJj9zCFraTYqolmY c3zWZ/0XR4yUP07pBLrGbt1+eJ1l0gWmDKLLbimnk/P+efPNRa9F+xfWHPQNb9R0U9xiF+Om zqpH5fSlEo3vSyXSnW/zLP/2nhRdiNqX8yv8JA/myzqClMOJVzNwsT5mdsJE7GJVYwM/gsR1 n3iCEJe1nTlgnjLdVeDZnx5Mey9UptloTcgISsoJVOh3X5lbYv2tPUTcJ4+fL8G8u1/zKcoH qdfJJjaWqxCGmbd5jAQTZjht4g+Jh6lsh2DYni+az8lcp8+GwGQoo34fhHi/TUlBzassZdsu KWp0w7WGMJRRwlrAMvMRuioyle94SoUlO5oBhSaLdRJdAD37I9uMyn4iPlxL8xVcUfPwT6T1 gC3BxYEpLCR8tFvr4ST3fiJ9t77HfF/E0xWG3jgwYy3bSSKrHC+xYJgUfqTeWyPXm3D56j/N /5eyOvxMaNbkQ8S4ZZ8Cbti0Yk3+8Dr++1B1g1hEXjGMwarB7dnLiXU1MVDrPcVlLpepBfwW V+J9tRcIriTJs7/VlIcfVJ3YuOG3PASuz/T8fVsfBSkvnAqpuLfXBUAJQSIhQxcMKBxbtEvz 9Ahj9FKuQaxvRwnb4SdhSdO+mXRcHFZC/c7tosXCZPAgxYwzg0QeoTVDyL7vMOVZ9NXPhV4K zOYnvCa1bFb21aEcGc1GXXLxudHm5kU/hxHlQdQK1OMk9vDp/k2wBwIrWVpFFsIlE0f3rIhI HVvOm10Ob6KoWViiv9DaH/wSQtPMxuUpx7qwFwTmWyEEUTxDj7RLHcwMPqm9VwC9z4OZSBS+ byVxQ4Ji9oxkB0dCsfzZaJklxAnZdl26xGEm92hE8mDBJQgfzf/xKOjDYbNR90LHutp7HArZ 8EzlAqzVUE/HSEduaF+EJWd0awVQRaCYmBPKR2kEGXlAkmEEAxfGlGyx4SZdc5XK7nR7Ui8E 8lnIMQJWxnWOONiaNwELfZkHoKYV8LFKDbPln0H6ILGX3aiQuJVja/t IronPort-HdrOrdr: A9a23:TmiIwa/rPWQUJsthCtRuk+DZI+orL9Y04lQ7vn2ZLiYlF/Bw9v re/sjzuiWZtN98YhAdcLO7V5VoI0mwyXcd2+B4Vt2ftWLd2FdAQrsSjrcKjwePJ8XknNQtsZ uInpIOb+EZNDJB/KDH3DU= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,280,1647298800"; d="scan'208";a="16027532" X-MGA-submission: =?us-ascii?q?MDEp9PJEs5N1dE3JwzKreguBggGZpkEHX5w+8p?= =?us-ascii?q?vi8Lb2JKBO2kTY2BfgR2SQem61/mX3xRSwSx9lY9KqZACq3w8246yoZE?= =?us-ascii?q?w8CLAQ062VOWQDax60F/mbRn/rEHZ2KGFn17r/hO+Vvky2Bw/WIXnSrl?= =?us-ascii?q?Ni3LdQCjOtHcRq0QwFtqCCwQ=3D=3D?= Received: from mout.kundenserver.de ([217.72.192.74]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 06 Jun 2022 21:10:59 +0200 Received: from cyrus.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue107 [212.227.15.183]) with ESMTPSA (Nemesis) id 1N0F9t-1nayWM3DBH-00xGD7 for ; Mon, 06 Jun 2022 21:10:57 +0200 Received: from [192.168.10.166] (ip-005-146-048-150.um05.pools.vodafone-ip.de [5.146.48.150]) by cyrus.sumadev.de (Postfix) with ESMTPSA id 5A80627C0F2E3 for ; Mon, 6 Jun 2022 19:10:57 +0000 (UTC) Message-ID: Date: Mon, 6 Jun 2022 21:10:56 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.10.0 From: Gerd Stolpmann To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K1:mzF+O7I8udh+gofEQmohkzA/Qpr0GodPoxWZIN1ZsU+CrsNCzrR rm1zmJzcN5XnwnTVwHs6VBb+NS6GQPAn7Kw0BfSLOKn39Dt+ZL5qUANjHdp0d5MlEMv0oZj w3FZ3bAIKk4ZfhCjp+MJrFHvQxx/cDBqAeUi4Cd/7hjGBwT7SvatvE+mJVVMC+i5Tcw/Pst +t9aVzRdgmhV4ckHlyyjA== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:U3Gmk3mh2h8=:BAncphIg/T9TW/loIo5HKK jyFBskuDMuodr+c8PMccpxKuKIzBAIGYR6SVHZRDzfJA4H6+2nhFI3H35S81IbBLeSCXWerY4 M6m39CuvNogIMbZa5EBfAKtMaqu61HG6vlqsK4Q+OoGu+vMUOohmRX8uz1SoQXOJGcdEABwN/ ObXlFulGIL1d+WF7Xp3leM2d0DSps1wZ7GT+uH18fO68QIiCSpymDo/HRSpLAgL6UZBvufjuD xmbD6coeyFjI9BSTYeYiMW7RfNc+XQj8/Zc7NOXv6H3DZtxbc6Z+FUM62DSKQreitWwGuFrnB BjtD/asEAZCyzl0Gf+lNKNDAGNyjRv5WSH9/8aPnDGFeZvyA2AGv/Tl0nzAxYbKQ1CP/eCrug 7ituxGHPVpm4WWW3A2aV0pCMq4YjDNHzvjeyIFS9KoyZvffqfUGYEJvAI/u0u8EZXhhzc2LTu HUTYKITrkhSThG4+f+a3Gxxe3p1xziAwFZl6TGvmp1VoyAHy3I5nwjyWRhziv1sQ551seEyk3 cVXmLH4kQEMfoNphak41XOza5NG/N35JBd0DhieoYF+VzrXjWUsLGo8kTj3ELeA/IckNfHVfU CPjMo+GaEYOMXEtjZupWtOR2wmRWqmJG5PQSYgUX1BhvqP0dK3Lx8SdiOrV6ERl2x8UcRoOgF MuII0wttthF++YjrLs25hIO2WVrQQ5HoVSZMj7xbPf4La4lEWr8auiIuS/z05H+TU3BzEAM9r AB5/WsZAbsWNVosYOy/rCzdzTuwigR8u711V/4UKRBk/bXz10eWvpWKW/4c= Subject: [Caml-list] findlib-1.9.4 Reply-To: Gerd Stolpmann X-Loop: caml-list@inria.fr X-Sequence: 18779 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Hi list, findlib-1.9.4 is out. It mainly includes a change in the configuration script needed for OCaml-4-14. For manual, download, manuals, etc. see here: http://projects.camlcity.org/projects/findlib.html An updated OPAM package will follow soon. Gerd -- ------------------------------------------------------------ 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 ------------------------------------------------------------