From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 4DF1AE0090 for ; Sat, 24 Sep 2022 17:19:02 +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-SDR: 632f1fe5_y4CtZDepNqZmeDsdkvTKgnITZu609C7F5fNQCBBguk8geu5 azX1Lo+yj6w2sjqGB4IG6NSxVgAnuioaSJCTL7Q== X-IPAS-Result: =?us-ascii?q?A0A4CgCtHi9jh0vASNlagQmBT4IkgQFXLQQLRYROjm+CJ?= =?us-ascii?q?RRYjAqFQ4pcgXwLAQMBDTcIAQIEAQGJcwIdBgYwCQ4BAgQBAQEBAwIDAQEBA?= =?us-ascii?q?QEBAwEBBQEBAQIBAQIEBAETAQEBARYLFwcOEAUihWgNgjUihBUVHVkCJgJsB?= =?us-ascii?q?gIBAQWCdAGDIAcBC5wYjU4aNXqBMoEBigKBESyQKSccPwGBTYEVJwyBVoQ2C?= =?us-ascii?q?wOCLIMJgmYEmRsmBA4DGQUmHUECAQt3GAMUAwUYDAcDGQ8jDQ0EHQwDAwUlA?= =?us-ascii?q?wICGwcCAgMCBhMFAgJNNggECAQrJA8FAgcvBQQvAh4EBQYRCAIWAgYEBAQEF?= =?us-ascii?q?QIQCAIIJhcHExgbGQEFMicQCSEcCh4NBQYTAyBvBQo6DygxaysdGwqBDCooF?= =?us-ascii?q?QMEBAMCBhMDAyICECoxFAQpExItBytzCQIDImwDAwQoLAMJQAcoJjwHWD8DA?= =?us-ascii?q?hAiPQYDCQMCJFp1AjcTFQUDDRkmCAU6HgQIPAIFBlcTAgoSAxOYWoI8bCIBg?= =?us-ascii?q?RyTXgwXj2yfQoIfgUQwB4sEkV2DCgZBg2SBYpEvBpIJkVmFMolNg2+ITZFgg?= =?us-ascii?q?WE6gVtNJBQ7gmcJRQMZD445hAyEYYVMQDMCOQIGCwEBAwmFRwEBhRsBAQ?= IronPort-PHdr: A9a23:iyUtiBbul1VNmSt+/zij3pf/LTHj24qcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gSPBt6LoKIaw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PdbglSijewb7B/I Bq1oAjQq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ 7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4 qF2QxHqlSgHLSY0/mLZhMN/gq1VoA+vqQJjzIDbe4yVKPhzc7nBcd8GS2dMXMBcXDFBDIOma IsPCvIMM+dGoInnulQFsAawBRWrBOPr0j9Ig2X53as80+88FgzG3QogH9wJsHnPo9X6Kr0SX v2swKnT0TXDaPdW2S/46IfSdBAhp+uAUq9ufsfIz0QkCgzKgEmKp4P/IzOVyvoCs3Kd7+d4V ++hi2wqpgFsrjSy2MshhYnEip8VxF7K9yh13Ic4KNKlRUN/b9CpH4ZcuzybOoZoTc0sQ39lt ik4x7AJpJO3YS4Hw4kpyR7YbvyIaYmI4hT7WemNOzh4gXZld66+hxau8Ums0Or8VtO70FpSo SpKjMPMuW0U2xzI9siHTf99/l+k2TmV0QDT7PtILl0qmqfdNpUvwaYwm4INvUjeHCL6gkf7g LGMekk5/uWk9f7rb7fmq5OEN4J4kBzyP6svl8ClAek1PBICUmmG9em6ybbt51f2QK9Qgf0zi qTZsI7VJcAcpqOhBg9V1Zsj6wqlAzelzdQYm2QII0xDeBKckYfpIU/OL+7iDfulnlujji9nx /HAPrL/HpXANmbPnKrjcLpn6UNQ1hA/wc1b6p5KEL0MIvL+Vlf0tNPCDx85NwK0w/zgCNV4z o4eWGSPAqGeMK7Jvl+H+PgvLPSVaI8OpDb9LPwl5+brjXAjn18de7Ol0oYJZ3ygGPRpOF2WY WDwjdcZDWcKog0+QfT3hFGaSz5ce26yX74g5jE8EI+pEZ3MRoWpgLCY2Ce7H4ZWZnxdB1CXE Xbocp2EVO0WZCKTJM9hiD0EWqK7R48vzxH9/DP9nrFuK+6R/iwDqbri0sJ07qvdj0Ic7ztxW uuQyW3FdH1zmnsNTjkwlPR+p0J64liOy6Q9mOBfEcRW7vVPFAs3Y82Ph9dmAsz/D1qSNuyCT 0yrF43O6VAZS9swx4RLeENhA5C5iQiF2SO2ArgTnrjNBZou86ua0WKib91lxSPg068sx0IjX tMJLXev0695+Q/7CIPTnwCCi6GubaEV2iiL+GrQhXGWshR+Vwh9Gb7AQWhZY0LXqdrj4UaXT rmgDpwoPxFNjNWeLa9Sb9TvixNKSaSrI8zQNkS2nWr4HhOU3vWMYY7tLn0axznYAVMYnho7+ HGbKU49GyGtrmTFASZwGEipb06EHfBWjnS9Qwd0ygiLaxYkzL+p4lsOguTaTfoP37UCsSNnq jNuHV/70ciEQ9yH7xFseqlRe7ZfqB9OyH7ZugphP5ehM7Eqh1gQdB5ytl/v0BM/A5tJkMwjp ncnhARoLqfQ3FREfjKelZf+X9+fYmj08heHZKPM1hTFzNGS4qIG7vJ+p1ii9AClG0w+8ml2h sFP2ij5hN2CBw4TXJTtF0cvokIj+PeFOG9kttmSiiA/VMv8+iXP0N8oGuY/nxOpftMEdbiBC Be3CMoCQc6nNO0tnVGtKBMCJuFbsqAubKbEP7OL3rCmOOF4kXeol2NCtcp81EyL3yVxUOKNx IoCx+md1w2BETvxxgTE0Ii/icVfaDceE3DqgyniCol5aaBoccMQFWCqO8i+wNM4i5OnCBs6v BazQlgB3sGuYx+baVfwiBZR2UogqnuigSKkzjZwnlnFt4K52yrDi6TnfRsDYStQQXV6yEzrO c6yhswbW06ha04okgGk7AD03foToqM3NGTVTUpSGkq+Z2h/Tqu9sKaDaM9T+dsptytQSuG1f VGdTPb0vRIb1yrpG2YWyio8cnmmvZDwnhoyj2z4Tj47rXzXful/yA3TocfAQvpJ2zMAQm90h HifB1SxOcWo4cTBkp7Ctu6kUGfyM/8bOSLvzI6GqG66/TgwWEL5wKr1w4y9V1dngkqZn5FwW C7FrQjxeNzu3qW+aqd8e1VwQUT784x8E51/lY05gNcR32Ibj9Ob5yli8y+7PNNF1Kb5dHdIS yQMxouf4Q7r32VsI2iFgpnlUXGFx8JnYZ+2bylFv0B1p9APE6qS4LFeyGF0pFS/hQ3ce/Q4h SsazeMr4Xgcxe0E8llIrG3VEvUZGk9WOjbpnhKD4oWlralZU22odKC5yEt0md3J4KiqhAZaV T65f54jGXQ19cBjKBfX12W17Ij4ed7WZNZVtxuOkh6GgfIHYJQ23uEHgyZqIwef9TUs1vI7g Bpy3Jq7oJnPKmNj+7i8CwJZMTu9bt0a+zXkh6JT1siM2IXnEpJkEzQNFJzmKJDgWCoVrujiP h2SHScUr3CGBfzcAAmT5UF9omjRHortO3zWbHgVwNN+RQWMcUxShAdHOVdy1pU9Fw2s2Inga BIjv29XuQS+80oWjL01ZHydGi/FqQylayk5Us2aJRtStURZ4lvNdNeZ9qR1Fj1Z+ZuoqEqML HaabkJGFzJsOATMClb9M72p/dSF/fKfA7/0Lv3AZp2BpPZSEuyUwpa314Jg+XCAO4/cWxsqR +1+wUdFUX1jTo7BnC4TTiUMiy/XR8ucuQv6+TBxos256/nxRg/1o4eCQeg3U50n61W9hqGNM PSVjSByJGND158C8nTPzaAWwF8YjywGn9iFFLMdqWjOUaTcl6lMAgQFZjk1OMYat8rUMSFCN NTXz8jp0bpgi/czDRFJWA658ilMTcMHOW34L0/AAF6OPbKAYzHGkZmfXA== IronPort-Data: A9a23:8HIfsaPeVIUtqqDvrR2Jk8FynXyQoLVcMsEvi/4bfWQNrUoigz1Rn TAcUGzVa/aOZWT2L48jO4izpE9T6JXQmoJjTnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/ngqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5CZaQTNNwJcaDpOsfrS8k835pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/yxWZcV7FLH7zXeXj8XKxFWWWGHV0egwIm8IYbc2w9lJDjQbn RAYAGhlghGrguWr3PS4V+9gi8I4IdP1MZlZtnwIITPxV695B8+ZBfybv5kHgV/chegWdRraT 8sfZz1HYxnab1hUJlATEJc3muHuinSXnzhw8g7I9fVmvze7IApZ8YrmGt2JUf+2VMhyhByWv VvZ3EL3K0RPXDCY4WPYriz137GncTnAcIkbEbn98v9xnHWI12kLAVsXU0G6qL+3kCaDt8l3L ksJ5mwtsK4++UqwQ8PjUgf+rHPsUgMgt8R4LeRj4xnd4bDt8RvHKEY6EgRvUeMYu5pjLdA17 WOhk9TsDD1plbSaT3OB67uZxQ+P1TgpwXwqOHZeHFpeizX3iNBv30uXJjp2OPTt1rXI9SfML yeigAVWuln+pcsMyrn9/k3Bjz+qvZXTUAMvoAnaNo5E0u+bTN76D2BLwQKDhRqlEGp/ZgfY1 JTjs5bHhN3i9bnXyESwrBwlRdlFHcqtPjzGmkJIFJI87Tmr8HPLVdkOvmoveRg5aZ9bKWeBj KrvVeV5u8870JyCMv4fXm5NI5hwpUQdPYm5B66PNLKinLAoJFHbrEmCmnJ8L0i0zRRyyPhhU XtqWZ/iVD4bD7hq1jy7W68U3tcWKtMWlQvuqWTA503/i9K2PSbLIZ9caQfmRr1nsMus/VqNm /4BbJHi40sED4XDjtz/qtN7waYidiRgWvgbaqV/Koa+H+aRMDt7UqaLnO5xJdwNcmY8vr6gw 0xRk3RwkDLX7UAr4y3TApy6QOO+AcRMvjggMDYyPF2l/XEmbMz9pO0cbpY7N/1vvuBq0fc+H bFPdtSiE8Z/bG3N2w0cSp3h861kVhCg3jyVMwSfPTMQQp9HRi7ywOHCQDfBzic0M3eIhZMMm IH4jgL/argfdjtmF/fTOa6OzUvunH0zm9BSfkrvI/tVSnXO86xaDXT71O8oKf4iNB/Cmzio7 CeNIBIiveKWiZQEwNrIoqGlromSDOp1GHRBLVTb9bqbMSr7/HKp5I1xT9azYjHWUV3r9JWYZ el6y+/2NNsFlg1ot7VQPqlKz6VkwffSvJ5fkxpZGUvUY2SRCr9PJmeM2e9NvPZvwp5boQ6HZ VKdyOJFOLmmONLXL3BJHVALNt+87PAzniXeyd8XI0+gvS9+w+ehYHVoZhKJjHRQEatxPIYb2 twegc8x6TLurjoxM92DsDJYyHTUEFwETJccl887BK3Ft1MV729sML3mNz/OwZCQat9zHFEgD R2KiYHj2blN5ErwXEAiNHrK3OBi1M0Ck01QwGBfJGa2x8j3tt1t7i1w7AYYcwVx5TdE2tJVJ WJEGRBUJ6KP3jEwn+lFfTmmND9gDS2j2H7a6gU2hkjGaWK3R0rxLGEZEsScznAzqm5zUGBSw +CF9TzDTz3vQvDU4gIzfkxU89rYUt1781z5qvCNRsiqMcEzXmv4v/WIe2ENlhrABPExjm3ho c1B3r55SY//BB4qj5wLMauo/pVOd0ncP01He+9rw40RF2KFeD2S5ymHG3rsRuxzfc714W2KI O0wAPIXTBmv9je8nhZCD442HrJEtvoI5t0DR7DVGVA7o4av9jpEjZaB2RX91UkKQspvm/kTM on+VSyPOU3OiGp2m13ilthlOG25U4M6dT/XhfK537QSHL1asOtpLVwA/Ya1m163MwJX2Q2ek y2eRq3Rzs1kkZ9Nmam1GIp9JgyEE/HBf8XWzxKS6fFgNcjuN+XKvCMr8mjXBRxcZ+Ytao4mh Iazv87S92KbmrQPCkTyuYSLTotN7uWMBNtnCNr9diRmrHHTSf3XwkUx/k6jIsZ0i/Jb3M6sQ jW4ZOaWddI4X9R8xmVfWxNBEiQyWrjGUaP9mRyT9/i8KAAR8QjiHuOV8XXEaWJ6dChRNaOnW 0Ww87yr68tDpYtBOA4cCrs0S9VkKVvkQu09e8e3qTCcCXKyj0ifvqf50yAt8izPFmLOBfOSD UgpnfQiXE/aVGD0INBlX0hauxoKEDB+nO88c0QG9sRohir8AGNuwSHx93kZIsk8r8Aw/MiQi PLxgK8KBijnUXFfbRL4+NHqWAHZCuFm1hIV4NA21xv8Vsp1bb9sxJNu+z1spmxqfT/7yeihL 5cS9xUc+/R3Lo5BHY4u2xBwvQurKj42CJ7FFYARXvEe2yojPIg= IronPort-HdrOrdr: A9a23:NuqmGKBC+gqeUXzlHemt55DYdb4zR+YMi2TDsHoBLCC9E/bo9f xG88526faZslcssRIb9uxoWpPsfZq0z/cciuMs1NyZPDUO1lHYT72KobGN/9X6cReOktK1OJ 0QFJSXMbfLfD5Hsfo= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.93,342,1654552800"; d="scan'208";a="24587947" X-MGA-submission: =?us-ascii?q?MDHgSDMXfLAPu0aYTZnZSQuBAcWNcRQ9DiIgdv?= =?us-ascii?q?ULR32AOdqZALtmBT2XcKe9Ebx/OmFMr4l7/R7wEIFvXz0zXj9rGIDabZ?= =?us-ascii?q?oNKDYcsKgZhAMYWChaeIaIoZPbIveiMplO2i/hSxU7lrqGT2fBgxBbRg?= =?us-ascii?q?icHj+bxMltPwbDVFWrdjBLEw=3D=3D?= Received: from mout.kundenserver.de ([217.72.192.75]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 24 Sep 2022 17:19:01 +0200 Received: from cyrus.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue106 [212.227.15.183]) with ESMTPSA (Nemesis) id 1Mj831-1pERpG3viX-00f7jE for ; Sat, 24 Sep 2022 17:18:59 +0200 Received: from [192.168.10.166] (ip-005-146-053-061.um05.pools.vodafone-ip.de [5.146.53.61]) by cyrus.sumadev.de (Postfix) with ESMTPSA id 8D9F82807CFF7 for ; Sat, 24 Sep 2022 15:18:59 +0000 (UTC) Message-ID: Date: Sat, 24 Sep 2022 17:18:58 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.13.1 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:0oRrt9i6ufa2TiUVuR7YzKolvU0dGe+wLi/nA3iWiZMYD0w8gEY 1yE8j/koucYDfpDtCrTwRP6lZKg7BGBL4y+u9rGm4PRyn2OoFLmZCcJgremzBQEskH7wmNu hWqpL+ygF3Q3nDA+MwqZo/2JUwf93dsFVyxO7nY0v2F2MMiSqY9RuSvynrmrxy+HfcgroqA nVm5h8yTYoQzHJUq6tCwg== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:ym1mAG8OXwg=:/1z3TD2SVTZg565K71C7/q xrOAPwwHG1FriEy2QyV1UB+10xEhcJenMkxprOkqKoKTKhtWu/51Cu8h8x55zsgqXG71n9ymX gppWM2LFWQDORGOQxrJxyxGcv6rBAaPV6Tdc2JPjqrzH1+yJNvOMMm5S8kE2r9zOy+M5inVMy jhY+tKKG+RFpm3pDOjM0R6dVv4tVjjQAs5te71ecQi1ig+2Udx45QvebH6OdWJeBSHlAz1Ril 8MzdKdAoPWa85IG5XezhEJHFW4ERQZjPtJQ0TGx/zDpJdenrhOK7YwuJqywu5R7fCvOjjZ+PZ l3NU8b9LKFiGyWLjfB8dpZjzvoYPQ7dbI89glgL2jCK7Ld3jvghJd7FS9RYPIy3GqOPcfhMh5 EIKQCORSnKcVuH42QTz0dmOgjnw3BB1WfJ8mhvKCsTXs6ylUJVos8Byy/aKZhHRxFQnol1Zhr irWUgWSywQgXzc6nQGWvjVk2ZC87CpESSP17huwvulHoCeAadu7YAlBGyASpWtrsCWEyaeNR5 vko8Cnj0pG1XX29wnuvlTCdMEqKkhO61rIQdbUnM4o0W8mVnCYP1o92EGT2iaaHoOPJvMNOlh nRaSdUDQ7gVoI4sgFP980vQSONcixbUT7/ITqiGsPlypdINIG4IpHTgk/RJILxUbcukHWlgMR hfidT8x4QPNCddnaQ3aDPCJ2ngI8MbJc3qwj5i+M+STOqUXEoKmhogatZKkA04zTRqnv5c6NT E5fTFHamuKj1OO44kIEKhzofSW15DMsb9lfVHngC3/NE680L67/lAK0wMz/GJQ9mc0Uz+2cep nDQYG3EiBl/CL8S2DhwROstN+oTYw== Subject: [Caml-list] [ANN] findlib-1.9.6 Hi list, findlib-1.9.6 is out, now supporting OCaml-5.00 (as far as we know it). There are also a few other install-related fixes in it. 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 ------------------------------------------------------------