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 83A395D5 for ; Sun, 12 Jun 2022 18:33:24 +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=eSjbMPExe20sGbqc3WHTJXuG4+72prr1Qz/xBDU3rVo=; b=CSC0KaBv4Adc5oP/u7OcGiRxCNzk0MC5qmYxDe7ZFrPVi85B1qXwd7eU NyXvO3KI4l15smzF35tSARoTCwQVz8Wbwk4o9Zit+F/ZceljXzV1U0H2P pF9Sh/7auhI5gu+/fAuM6BEGes+o42ZXzRedIAwCVL84DGggSWP3Xmyvr Q=; 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,296,1647298800"; d="scan'208";a="40604233" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Jun 2022 20:33:23 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 56E35E0038; Sun, 12 Jun 2022 20:33:23 +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 5F486E0038 for ; Sun, 12 Jun 2022 20:33:20 +0200 (CEST) IronPort-SDR: OQbf2EXVAzHnxL/HK4lLbf9qCmdcM44spiLsctUzT0ZPvpKoaN5mLIk70G35R3yB875Jug7K5x bJ1Hnm0riE6/ORXMk4x3RJRPx5GGTvmQueS6vsepm+PCySIuKq06SUs3qLhEwJuTsvqxvzz5ke IITvEtZJizP2jhRyKbEV6P+zk5wMRhm2YOZNw00MI8JAEntKXqotqtEP6Z2XcXe33dDxHarMZw 8SE3a4SWhVWj9GMc6XqIdOq/oAjoPUbv6kA/RvzcusBIvhqLMcD8f14SOat6xy26n5YvYe/gSt BA9kAsI79/Rq2ktP5zvOBSaj X-IPAS-Result: =?us-ascii?q?A0BwFgA/MaZih4N+49RaHQEBAQEJARIBBQUBQIFPAoIig?= =?us-ascii?q?QFXLQQLRIROiDyIZViEF5lkCwEDAQ03CAECBAEBgSyJHwIdBgY1BQ0BAgQBA?= =?us-ascii?q?QEBAwIDAQEBAQEBAwEBBQEBAQIBAQIEBAETAQEBAQsNCQUICwYOEAVBZGIBg?= =?us-ascii?q?U4BgXkGBDANgjUihBUVdgImAl8BDAgBAYJ5AYMYBwEBCatiGjV6gTGBAYl+g?= =?us-ascii?q?REsAYYeW4NZhEMcPwGBTYE8DIFWhDYLA4U1gmUEiyiNBycEDwMaBSg0EoEhc?= =?us-ascii?q?QEIBgMDBwoFMgYCDBgUBAITElMdAhIFBwocDhQcJBkMDwMSAxEBBwILEggVL?= =?us-ascii?q?AgDAgMIAwIDLgIDFwkHCgMdCAocEhAUAgQTHgsIAxkfLAkCBA4DRQgLCgMRB?= =?us-ascii?q?AMTGAsWCBAEBgMJLw0oCwMFDw0BBgMGAgUFAQMgAxQDBRsMBwMhBwsmDQ0EI?= =?us-ascii?q?x0DAwUmAwICGwcCAgMCBhcGAgJvCiYNCAQIBBwdJBAFAgcxBQQvAh4EBQYRC?= =?us-ascii?q?QIWAgYEBQIEBBYCAhIIAggnGwcWGR0ZAQUOKCcGCwkhHAofEQUGFgMjcwUKP?= =?us-ascii?q?g8pNTY8LyEbCk9EApp1VwFRpAuGLJhughuBPS4HimmUXwZAg2MBgWCRGwaRd?= =?us-ascii?q?5E8hS8giSeDZog0jBeFO4F5gX1NJBQ7gmgJRQECAQIBDAECAgECAQIBAgEIA?= =?us-ascii?q?QECAY41iG2FTEAzAjkCBgsBAQMJhUcBAYtgAQE?= IronPort-PHdr: A9a23:NKSN8RKUu86epe0uFNmcuLltWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFvrM01QKCBN+Co9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/689pHJfglEmTqwbbxvI BmosAnaq9Ubj5ZlJqst0BXCv2FGe/5RxWNmJFKTmwjz68Kt95N98Cpepuws+ddYXar1Y6o3Q 7pYDC87M28u/83kqQPDTQqU6XQCVGgdjwdFDBLE7BH+WZfxrzf6u+9g0ySUIcH6UbY5Uimk4 qx2ShHnlT0HOiY6/m/ZhcN/gqJVrg+/qRNjzIDZe52VOfhkc6/BYd8XS2hMU8BMXCJBGIO8a I4PAvIAM+lGtYnyukYFowaiBQmrAOPv0jpIiWXw3a08zu8sFgDG3AouH9IJq3nUo8v6NL0PX uys16nI0TLDb/dO2Tf48ofIdBYhreuRUr1uaMfcz1QkGAzZgFuKs4PlIy+V2foXs2id9+dsS eGihnAppQxzvjSix9shhIbIi4wb1F3J9zt1zok3KNGlSkN2fMOpHZpQuiyHK4Z6XMEvT39nt Ss71LAKp522cS4Xw5opwB7fbuaIc4mO4h/7SOmeOzJ4hHZ5d7K+mxaz8VKsyurmVsm71ltBs ylLksHUu3wTyhDf9NKLRuVj8kqjwzqDyh7f5+BeLUwpm6fXNoYtz7Exm5YJrEjOHSH7lF/rg KOKeEgo4Oul5uL6abv8vJCcLZV7igTmP6QuhMO/BeM4PxALX2ic5OS8yKfv/U7kQLVMk/I5j K/ZsIvEKsQBuK62HRVV3pw+5BmhFzum0dIYkmcbLF9dZh6LkpblN0vQLPzmD/qzmUmgnClqy vzcI7HsDIjBImDGkLj7fLZ970BcyBA0zdBa/59UC7cBIPz0WkLqu9zXEAU5PBGtz+b8FNV90 YceWXqKAqCDNqPSt0WE6f8xLOWUYo8aoy7yK+I56P72kX85hVgdcLG00ZcPcnC3AuxmI1mFY XrrmtoODX0Fvg86TODzjF2CUCVTZ2qpUqIn5jA7DZqmAp3ZSoCshryBxia7EYdMamBIEFDfW UvvIo6NXvNJbCOJPoc1mTUBUf2lSpQ9/RCorg7zjbR9eK6c/SgRtp/L0Nlu+/aVkho78DgyC N6SgE+XSGQhsW4SS3cNwKd7uUl0zFHLhal+jftwGtFJ67ZSTgA+LZvVyeo8B92kCVGJRcuAV FvzGobuOjo2VN9km7fmAm54EtSm1VXY2jayRqQSj/qNDYA19aTV2z7wIdx8wjDIzvpplEEoF +1IM2Dunatj707LHYeckkOXkI6leL4QmTXR82ObyGOIugdUXV04Sr3LCFYYYEaettHl/gXHR r6qB64gN15Az8CFAqRHcNGslklBQO/mMdLYJW68yC+rHRjd4LSKYcLxfnkFmiXQDE9RiwcI4 XOPLhQzHA+kpH/CSj9zE17iZVjh6/dzsjW3QyfY1imsaEtsn/qw8x8R3rmHTu8Lm6kDoGEno il1G1C025TXDcCBrkxvZvcUZ9R1+1pB2W/D0m41dpW9M6BvgEIfeAVrrgvv0RtwEIBJjcktq jsj0gNzLauS1F4JeSmf2Nj8PbjeK2+6+x7KCeae21fQ1/6Z970Dre8krFH7uQivEAwu/jQv0 tVY1Wed+oSfFBAbAveTGg488xl3oa2fYzFovdqOkyc2bu/t6GGEgolwV45Hgl66ctxSMb2JD lr3GsweXI21LfAy3kOudlQCNfxT86g9O4WnceGH0eilJrUF/nrugGJZ7YR6yk/J+TB7T7uC3 pALxNmX0xGLEizgi1O5t8nxn8ZIaHtBewj3gTihH4NXaqBoKMwKD2mpC8K63Nk7nILqX2Zd/ VilQV8LkpzMG1Lafxn22gte0l4SqHqslH6jzjB6pDouq7KWwC3Ex+mKmAMvHGlNSSEiiF7tJ dPxlNUGRA2zaBBvkhK55EH8zqwdpaJlLmCVT10aNy7xZ3pvVKe9rN/gK4ZG9Y8ovCNLUe+9f UHSS7jzpAEf2j/iGG0WzS4ydjWjsJH01xJgj2fVIHF2pXvfMcZ+oHWXrN3aS/l50TccSGxjl T7THl21Od/v8djV35bPv+aiVn6wA5hacC3l14SF507ZrSVhBRyymez2m8WyS1Fgl3WhiJ8zD 3uO9U2lMeyJn+ygPOlqf1dlHgr54st+QcRll5cowYoXwT4cj4mU+nwOlSHyN89a0OTwdiloJ 3ZDztjL7QziwEAmIGiOwtezV3OTxeNuasO2J3gK3SYl6slMDuGY4fYX+Ek96kr9tg/XbfVny 30cz/UpwHEXme1MoxYqyj2YC7YUW0VVd3+J9VzA/5W1q6NZY3yqeL672R9lnNyvO7qFpxlVR HfzfppK8TZYyMJ5PRqM1XTy7tqhY9zMdZcIsQXSlR7cju9TIZZ3l/wQhCMhN3iv9Xsig/U2i xBjx/TY9MCONnlt8aSlAxVZKiy9ZsUd/SvohLpfmcDe1p6mH5FoEDEGFJXySvfgHDUXvPXhf wGAdV904m+cAqbaFBSD5V1OqnXSD9aoKnebKX8CwM98SQPbKEEeyAEYUTMmn4IoQwCnwMuyF SUxrjsV51P+tl5N0rcybkO5CD2A4l7yNHFtE8HMSXgephtP7ErUL8GEu+d6HiUDu4aksBTIM WuDIQJBEWAOXEWAQVHlJLino9faoI36TqKzKeXDZbKWpKlQTfCNkNiu1IVh1zmBLMnKJWVlC +U+00xFG3x0UZe8+X1HW2kMmiTBYtTO7g+74TFyp9uj/e7DXQXy+c2MFr1ePNN09gqojL3FO +Pa10MbYX5Ik5gLw3HP0r0W2lUf3jpvezeaGrMFrSfRTajUl8e/7jYebD5vcshV6a4x2BJAI 9DWkJX52+wg5hbaI1hIT1Ckgd2uYdQPKme7cl/KVh7j3FGuKjDRz4TsfaS4UbhZiuMSuxDi4 V6m IronPort-Data: A9a23:7yvzJqnmOqIzianAdzbVV6Po5gwKIERdPkR7XQ2eYbSJt1+Wr1Gzt xIfXmqEM6nfamKkeox0Otmw80hUv5DXy4BnGwo4r3s1F1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTrSs1hlZHWeIcg944f5Ys7N/09cAbeSRWVvX4 4us+peHYTdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /1oq8btFQtzIpH2u8UHWhxoLjFGJ6hvreqvzXiX6aR/zmXDdGbwhfZzCk07O5YV4Ph6GydC+ JT0KhhXN0rF3bjphuvhFK813Z1LwMrDZOvzvllhyz/eJfkrW5yGWLnN4cdd1TE2wMxDdRrbT 5NHNGEwNkqbC/FJEnxKBp8SxuOovFfUX2J/uhHOuvFv7GeGmWSd15C0bYaLI4XULSlPpW6Tr 2fCumD4GQ0yL82a0TPD83S2h+aJkzmTZW4JPLi/6+Isg0CVymEVExAMS1ah5/W04qKjZz5BA 2kKoHdyofIuyHaIb8P0Wi2FsEaeuzdJDrK8DNYGwA2Kz6PV5SOQCW4FUiNNZbQaWCkeG2JCO rihwYKBONB/jFGGYS/ErObF9lteLQBEcT5bPUfoWCNfu4GLnW0lsv7YZvpOeJNZY/XwHizsh TOXqiQzga4el9AGzeO38DgrYg5ARLCZEWbZBS2ODgpJCz+Vgqb4N+REDnCFtJ59wH6xFAXpg ZT9s5H2ABoyJZ+MjjeRZ+4GAauk4f2IWBWF3wMzTsZ7rW/0pyfyFWy13N2YDBg2WirjUWC4C HI/RSsNvfe/wVP3Mf4pONjZ5zoCl/G+T4uNug/ogipmO8UtKlbeokmClGbJkTmlkU4wnLs5N IvTeMnEMJrpIfQP8dZCfM9EieVD7nlmlQv7HMmnpzz6j+b2TCPLGN8tbQrWBshkvfjsiFiEo 753aZHWoz0BC7eWSneMruYuwaUidiVT6Wbe8JAMKYZu42NORAkcNhMm6e58JtU6z/0Pz48lP BiVAydl9bY2vlWfQS3iV5ypQOqHsU9XoS1pMCoyE0yv3nR/M4+j4L1GKMk4cKMrsfd/yvpsS vADfYOMD60XGDjA/j0ca7j7rZBjLUj621jRYnD9ODVvLYR9QwHp+8P/ele9/ic5ESfq59A1p Ket112HTMNbFRhiFsvfdNmm00i14SoGgOt3UkaReotTdUzg/ZJEMSv0ivNrccgAJQ+amWmV2 hyaRAwEou3VpoYz9p/FiPnc/YuuFuJ/GGtcHnXatOrna3OFozD7mYIZCbSGZzHQUm/w6Z6OX +QNwqGuKuADkXZLr5F4T+Rhw5Uh6oa9vLRd1AllQinGNgz5FrN6L3Ca9sBTrakRlKRBsA67V 0/TqNlXPbKFZJHsHFILflJ3a+OeybcXhz/e4PIuLV/k6TUx8LfeCRdeOByFiSp8KrppMdp5k Ll755NMs1Sy2kgwL9KLriFI7GDSfHYOZKUQqc1ICoHcjAd2mEpJZobRC3Ko7cjXOclMKEQjP hSdmLHG2+ZH3kPHfndvR2LB2/FR2cYHtBxQlgdQIlOUhpzGm/k70RtK/C4pQx4Twhgei7B/P W1iNktUI6SS/m401ZYZAD32Q1lMVE+D50j861oVj2mHHUOmYWz6MzFvM+i6+k1EoXlXeSJW/ ezGxT+9AyrqZsz4wgA7RVVh9674VdV0+wDP8Cx98x9pw3XujfvZbq6Sia4grhz6HYUymUvLq O9x8fxuZLe9OSN4T2jXzWWF/ex4dfxGDDUqrTJdEGchEmzGdHSpxT+KM0W4fMULK/GiHYpUz SBxDponavl9vRpiahgUCLQAZqRom/ox4dMEfPXnKAbqdldZQiVB6Prty8Q1uIPnrxiCXyrwx kM9ug9uylCtuEY= IronPort-HdrOrdr: A9a23:N0Dfm6pUSgmkmRDVPJ7OygAaV5oqeYIsimQD101hICG9Ffbo8v xG/c5rtyMc5wx8ZJhNo7G90cq7Lk80l6QZ3WB5B97LN2PbUQCTTL2Kg7GSoAEIVxeRygZHv5 0QF5SW5eeAamSTtKzBkW+FL+o= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,296,1647298800"; d="scan'208";a="16537263" X-MGA-submission: =?us-ascii?q?MDH4Gbn6szlS4WQ/fMkoGdzXOgOlypc3jqCPg2?= =?us-ascii?q?CRWdkKG5F9NbjRNm64Vxhu4CYlclk2cUn1vpzJk/Z8zY1Fl2Y+Zv5Mm4?= =?us-ascii?q?CkAfTW35fgUeABO/i8DJcrc9Rg+Bha/w9ctKMKujgOZsJsC2uML/FPsO?= =?us-ascii?q?p+K5RxO/DcfceIL37OfcTRWg=3D=3D?= Received: from mout.kundenserver.de ([212.227.126.131]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 12 Jun 2022 20:32:45 +0200 Received: from cyrus.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue011 [212.227.15.167]) with ESMTPSA (Nemesis) id 1MvazO-1nhQAU3UMI-00sb00; Sun, 12 Jun 2022 20:32:44 +0200 Received: from [172.18.127.133] (unknown [46.183.103.8]) by cyrus.sumadev.de (Postfix) with ESMTPSA id 1BADD22C1BB6C; Sun, 12 Jun 2022 18:32:40 +0000 (UTC) Message-ID: <39bdc9f7-6163-5b0b-0f3a-133d52e381cd@gerd-stolpmann.de> Date: Sun, 12 Jun 2022 20:31:43 +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 , omake@lists.ocaml.org Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K1:SehCfPBLwLFfAMyiYgY12FEarsJihaFpzGIS6jUHyT60qaRACQi fUiPU7NJhPO6v1vaq2zR3XodUDr2v9kbqYqfSJF6LHI6Dkgr26VMg4Wki/e51Da8wnVzjnU CgXbOjQ1Ep+UJyD6VCpAsJgVTkxEbFyrRGUSl5VqlacxWRhwzaxP+uqIOHMCiWNb1zNota9 oUmub7PhvRegCKgUbB4hg== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:Ap7CHEbSBvI=:aEjOBiOLWZKTeXiScfC/Il INynaM0VbYeC1m4Y4lGPtRJ9yCcYBe4EFYQSm8ZuswpB/zgj9Q8VNqIlbJxnRnP4VIXAhTfyD bqttRzIWb+GCLQsfh3Sx74IwO0xlf2+qXseTJKr5omgw6rK3BA+k87t62CMmi6SHUM5tAOdfl RbMFW5aKoZD+L3X9LmzPQnJa4ZtBeqNkNxuvzC7Bsh3qDoqiEP+UZVBBRT2E1wKDqrpdZDeqh e2KTkahpVReKFy+RkzVANFX6B/XgGHNStkQMFk6fkAkbkwK5rELgT4uN7h/gD6pjlNBq6rj2w EctRA+9UuVLM2U+yNDWOg/DSZdZ7SxjMkRoGH6d3pF7g/i81UarWnw+5Y1Azaq8cZme7Vvuhs Mq6NcJZVv05C69mAXLyuSmU59ABpJ1EleauYw8gc/aA8iINuve1+zQCX2yzItMU6JBdg9iSCO dSfNfb1H6cACe0CzgX7qFgPZrctDiQ22rWWoOPFjIiqONhZVgvc3Bngu65hIeFsBcxfLVRwxq KlmrChxDXcJoFwmyexe7ybTuU9fcVufZw+Pr3VjbLL2Q5plcBNnFmGuu4StJASqI+zgoz8NvT lyk9508imEvAg4oT9oCSCG5b92fnnB5P1yH67OKkxokfEWXCI2a/r64ypcZIazE4xC5m554ug LHXpycH8czsMBthwAEIU+n6AfMbeISzzf2BP59hy57wM530+6rrBsdy5/wx1rJti/JXsqv8Vz W7wZfCKC5h1qk55KDGv2YeLFdbScdEUdpKpN9eNMuoRHcTyJmms5M7nWmCw= Subject: [Caml-list] [ANN] omake-0.10.5 Reply-To: Gerd Stolpmann X-Loop: caml-list@inria.fr X-Sequence: 18787 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: Hello everybody, I juist released omake-0.10.5, the build utility, which fixes the broken installation of version 0.10.4 from last week. For docs and the download link see http://projects.camlcity.org/projects/omake.html. opam is underway. Gerd