From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=Q5qxjjRm; dkim=pass (2048-bit key; secure) header.d=mpi-sws.org header.i=@mpi-sws.org header.a=rsa-sha256 header.s=mail202309 header.b=u1ffNvfA; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 19DFF128CA4 for ; Wed, 27 Nov 2024 16:59:53 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:in-reply-to:date:cc: content-transfer-encoding:message-id:references:to: subject:reply-to:sender:list-id:list-help:list-subscribe: list-unsubscribe:list-post:list-owner:list-archive; bh=r0t6o+zKPgsF43gtzmYgkIC7qESlq3cC9NFAajZKbCY=; b=Q5qxjjRmPwGe9Ek3NvMDue1F3WixSYUooiRPW65/CPlROID24OWK5stw uNcbYCLupl4AsxlFabrDvReVTkf56TcNqS1yzb2O+D+2LHBOWtGA0CNwp qRvdvpKw1fx0quy52IfRCKsR+xjEw9t/vo83iLBpik8mBKgJaKAllUdT7 U=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 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 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 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 Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=pass (signature verified) header.i=@mpi-sws.org X-IronPort-AV: E=Sophos;i="6.12,189,1728943200"; d="scan'208";a="196154404" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Nov 2024 17:59:53 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id C22D8E0D1F; Wed, 27 Nov 2024 17:59:52 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 1AFBCE00B6 for ; Wed, 27 Nov 2024 17:59:51 +0100 (CET) IronPort-SDR: 67475006_vL9cdJpo/M14Cj1Ylk138WMRoXqOSQnsjGmQzupJ/BZaTuM uLPSYhpICwkirnUrJpATPONeDCjfW8Dp/VH3yyQ== X-IPAS-Result: =?us-ascii?q?A0FiAAD9Tkdndw9WE4taHQEBAQEJARIBBQUBQIFBBgELA?= =?us-ascii?q?YJDfVsyBAtIhFaIfIZRgiEDnheBQD4PAQMBDTkIAQIEAQEDAQOFAAKKYAIeB?= =?us-ascii?q?wEEMgcOAQIEAQEBAQMCAwEBAQEBARABAQUBAQECAQECBAYBAhABQ0mFew2CY?= =?us-ascii?q?gEzcWUJNwEBAQEBAQEBAQEBAQEBAQEBAQEBFgINME0BAQEBAgEjHQEBNwEEC?= =?us-ascii?q?wsMDAICGA4CAlYGE4MBAYIwAw4jAwQNsD16gTKBAYIMAQEGgmfYPxOCSgMGg?= =?us-ascii?q?RouAYhLAYpgJxuCDYEVJwsQgWaBAj6CShcCAgGBXYNbOoIvgkSFDyWFNgGDS?= =?us-ascii?q?YwQj1VICmUWeCERAVUTDQoLBwVgSSEsA4JHBXorgQuBFzoBgX2BE0qDLoFeB?= =?us-ascii?q?TdHgkppSzcCDQI2giR9gk2BJQQFg2mBC4NehFuGOB1AAwsYDUgRLDcUGwY+b?= =?us-ascii?q?gegOAFGg2CBJGgpB2BFCy2SZ7MhhCSEb4cnlXqXUQaSeph7ilhIgmCWQgGEZ?= =?us-ascii?q?YFuCCuBXE0wCDsqAYI8PxADGQ9XjUqDeoUUwzlDNDsCBwEKAQEDCYVFAQEBg?= =?us-ascii?q?QOKfYFLAQE?= IronPort-PHdr: A9a23:kMoOCRM2mLUd91u8D3sl6nZ/BBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvqwr0A6CDdSTq6odzbaN6+a4AS1IyK3CmU5BWaQPbSNNsd8RkQ0kDZzNImzAB9muURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi7oxjdutMZjIZmJao8yR/EqWZMd+hK2G9kP12ekhjg6suq4JJv7yFcsO89+sBdVqn3Y6s3Q btEATo8NGw7+NPlvgTZQwuV4XscXGQWkh5WDAXA8Rr3QJT/vDbku+RkwCWVMtH4Qr4yWTS58 qdkUwTohzsdNz44627YlMp9h79GrR27phx/x4nUYJyJNPd7Y6jQc88WSXZHU81MTCFKHJ+yY JUTAOoAJeZYrpfyp10SrRulGAKgAPrjxiJUinPq2KE31fkqHwPb0ww6B98BrHvbosj1OqgQX +640qbGwzbNb/1I3jnw85TIcgkkof2QXbJ8bcjcxE8yHA3FlFWQronlMiuJ2+QLrmeb9fRvW vi0i2U6tw9xpSOvxtw3hYbXnIIVxU3P+CJjwIYyPt24U1V0bsC+EJtfrCyaMpN2QsI7T2Fzt ic60acKuZmhfCgF0ZkqwQPUZPObfYaS+B3jSPqRLilihHJjYL+yiQi+/FS9x+D4UsS531ZHo ytZntTPuX4A1ADe58ubR/Vy4kqs3TaC2hzX5+1ZP0w5lLTXJ4Mlz7MumZcerUbOEynrk0v4i 6+Wc18r+umu6+n/bbXmp4OcN49pig7lKKghhsu/AeEgPgkAXmib+uW81KX98kLkQbVFlOc6k q7DsJDVI8kQu623AxdN34o+5RuyCy2q3MkckHUdL19IeQiLg5XpNl3WPvz0EOmzj06inTt33 fzLMLzsDo/PI3XNlrrqYKhw60pByAoo0dBQ+YhUBKwAIPPyRED8rMDUAxkkOAKu2ennEs9y1 oYGVGKPHKCZNKTSvEeK5uIyO+mMZZMVtyjnK/Q/4v7ulX45lUYefamtxpsYc2q0HvF+I0WWe 3bjn8kOHX8Lvgo4UuPqlEWPXSNdanu2Ra4w+zU2BJilAIrCXIyhnbyM0D++HpJMZ2BGDl6ME W3vd4WBQ/oMciWSItR6kjMfS7ehUYAh2AqrtA/iyrprN/HU+yMDtZ7509h1/eLTmQk09TNvF 8udyX2CT3lonmMUQD87xL1zrVRnylifyah4n+BYFdtL6vxVSAg6MJrcw/V+C9DzQQLBYsyES E2mQ9WjGTE+VMg9w94IY0ZnGtWtlArP3ySwA+xdq7veOoF81K3b1DDKLsA1n23P0u8/khwgT cxEHWmvnqlk6wWVAYPVxRa3jaGvII0a0DTA/XzL922Vp0tVSgE4Bb/CRmsVa1HZhdHh5wbZU KToDq4oZFgSgfWeI7dHP4W6xW5NQ+3ubZGHOzrZcwaYAB+JwunJd4/2YyAH2y6bDkEYkgcV9 HLANA4kBy7nrXiNRCd2GwfJZEXhufJ7tGv9VlU9mhuNdFZr2qC60hsNhLmHVOhV2agL6286s zshJF+mxJrNDsaY4Q9ofaFSe9Q4tU1AznnTuhZyFpm4LuV5mUVYdB547Av1zxsiLIJGnIAxq W8yigp/LaXNyFRaazaRxoz9IJXVN3Hz4B21LavO2xTd1M2cvKIX57I0pj0PpSmPEUwvuzVi2 thRiT6H44nSSRAVWtT3W1o28B5zo/fbZDM87sXazy8kN678qTLE198zYYltgh+9Y9dSNr+FH w7uAoUbAcapMukjh1muaFoNIulT8Kc+O87ueeGB3eanO+NpnTTuimoigsg1yEWX7CBxUOHg2 o4EhuqHxU2ATTi9xFatv8brmJxVMCkIFzn3wizlCYhNI6xqKN9QWCH3covnmJMn2s2IOTYQ7 lOoClIY1dX8fBOTawa4xghMzQENpnfhnyKkzjtymjVvr6yF3SWIzf6xEXhPcmNNWmRmik/hZ IauiNVPFlKvdBMjmQGqzUPixu1Au785KHPcCxQtHWC+PyR5X628u6DXKdRI84givD9YeOGkY BWBVaW7pAEVmXCGfSMW1HUwcDekvY/8lhpxhTeGLXp9m3HefNl52RbV4NG0qed55jMdX2E4j DDWAgL5JNy15ZCOkJyFtOmiVmWnX5kVcC/xzIrGujHprWFtBBS+mbi0lLiFWUAg1jTg3dRwW g3NtBe5eZbwkaOgPqprc1JpC1n198dhUtglw81p1ddAhz5D292c5jIfnH32MMlH1K6bDjJFX jMNz9PPoUDk1EBlMnOV1tf8X3SZzNFmYoryaWcX1yQhqsFSXf7PvfodzG0l/Bzh8FG0A7A1h DoWxPow5WRPhugIvFBo1SCBGvUIGkIeOyXwlhOO5tT4raNNZW/pf6LjsSg21d2nEryGpRlRH XjjfZJ3VzV39d51PUjD+Hjr68T/Z8KWasgc/E7x8V+In61OJZQ9m+BfzzBgInn3sGcq4+sjj Fl1wor8u5KIYTYInurxEltTMTv7YNkW8zfmgPNFn8qY6IuoG41oBjQBWJa7BeLtCj8Zsu7rc hqfCDBp4GnOAqLRREXMjSUu52KKCZ2gMGubYWUU3ck3DgfIP1RR2UgdDjU3hJd/Exirgc/la 00/4ygeoFL1z3kEgus6NQT5VSHavAbtaTMvQt6aNBUQ4gwK7hXNNdGC6aR2ByAd/Zm6pkqIM mPdawktbylBUx6NH1fnOr7o4MHBtuucHeD4KuPBJ7mD4eUMVeqQxI6iyM1j5zfJNcGUND9nF /J91kcmPzgxEpbBnC4CSiAQkWTId8/epxOn8Gtyts/5/PmjUVDm/4aUTb5KMJBs/wu8x6KbO KiciUMbYX5RhJMB33rF0/4axF9XiCV1fX+oCbtGuSOFG6vUnuU/4wczTSR1OYMI6qs92lMII svHkpbv0bU+iPcpClBDXFinm8ezZMVMLXvvfFXATF2GMriLP1ipi4n+fL+8RLtMje5Vqwz4u DCVFFXmNyiCkD+hXg6mMOVFhiWWdBJEv4T1fhFoAGnlBNXoD3/zeMdwliEzyKYoi2niN3MEM CRxaQVItrzV7idDiLN6A2MH4nckZeiIliCF7vXJf5Ybtfw4Z0Y83+le4Xk81/5U9HQdH60zw XqU/oAo+gz194vHgiBqWxdPtDtR0YeCvEE4fL7c6oEFQ3HPuhQE8WSXDR0O4dpjENzm/a5Km b2t3Or+LilP99XM8I4SHc/RfYidN2E6OxfzFxbRFApAViGwc2bFiAYO9ZPavm3QtZU8ppX2z dAWTaRHUVUuCv4AIkZ4BN0eLY0xWysl1L2fl8RO4GKx6hXcDpY/3NiPRreZBvPhLyychL9Pa k4TwL/2Go8UM5Xyx01oblQSdGXiGVfIXMxAuGtkdg5xo0FW+j57VmJ110+3MmtFBVcWDf/xh QEtzAxkbrZ1nN8Dy1IvJx/RuzB2l1M+y4yNvA== IronPort-Data: A9a23:sI5Pjq/aJWJQu/dQFtlrDrUDfnqTJUtcMsCJ2f8bNWPcYEJGY0x3z moZUTvSbqnYMTGgeIh+Pd/i80sO6pTcyYBqQQNlryxEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWcuWo4ow/jb8k825a6t4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TEwqR0Ahk2B6Ijys1SM3B1p d1CMA4tYUXW7w626OrTpuhEhNk7LdXmJsUaonAlzjXCB7AjWZ+FT6iiCd1whWxhwJkfW6aAI ZNEAdZsREyojxlnIFAME5gzhuiAg2H+NiZHsxSSv6VfD237lV0vieWxa4SOEjCMbZ5zxEC1l FvMxHbwWg47N4HH4CakqW3504cjmguhCNpJSeHQGuRRqFaaw2hWDBwNSXOgsPyhgwi/XcheI goa4EITQbMa9lGzT8XwRVu9uH/BvRoHUZxVC+J85AzlJrfoDxixBzkeQGZBUvMdhOQTdy0Rh n7Th+3JCmk62FGKck61+rCRpDK0HCEaK24eeCMJJTfpBfG++enfaTqSFb5e/L6JszHjJd3n6 xynxBXSap0RkNYKy6ihu1XfgnevooPDCAst6UPbUwpJDz+Vhqb6O+RECnCCs56sybp1qHHa5 hDofODEvIgz4WmlznDlfQn0NOjBCwy5GDPdm0VzOJIq6i6g/XWuFagJv2okehs0Y55ZIGW1C KM2he+3zMQOVJdNRfMrC79d9+x2pUQdPYq4C6uKBjawSsQoLF/vEN5Sib64hTC1yxVw+U3OE ZKSYYO0CX8cAqcizTytW+YBzKNjyD0z3yvSQ5781RGuzbudDEN5up9YWGZimtsRtfveyC2Mq oY3Cid/40wOOAEISnCGqdZLRb3LRFBnba3LRzt/L7DeeVA4RDt/VZc8A9oJIuRYokicrc+Ql lnVZ6OS4AOXaaTveFTSOENwIqjiR4h+pn8dNCkhdwTgkXs6bIrlqO9Ve5IrdPN1vKZu3Nxlf ckjIs+gO/VoTiiY2jI/aZKmkpduWi72ji2zPg2kQgMFQbheeyLz9OXZIzTfrBs1MnLvtO8Vg aGR6QfAcJ9SGyVgFJn3bdys/XOQvF8cuv55cEjUKYJfamHpoZlYOg3qr/oNO8pXAw7y9jib8 Ae3ABkjuujGpbEuwuTJnaypq4SIEfN0O0hnQ1ng8re9MBfF8lqZwYNvVPiCeRbfXjjW/JqOS Pp0zfamFtE6h3dP7pRBFoh0wZIE59fAo6FQyiJmFi7pa3WpErZRHWmU7/JQt6Fixq5rhiXuY xihouJlALSuPN/pNHUzJwB/N+SK6qwyqwnotP8wJB332T9z8L+5Sn5tBhirihFGDb5LIYggk PYAuskX1lSFsSAUEO261wJay2fdCUY7cfQDloobC4rVmAYU2gl8QZjDOBTXvrCLSftxa3cPH BHFpZD/l4x9x1XDeUUdDXLi//RQrrVQtQFozG0tHUWomN3Ej/kJwxRhyzA8T1lJxTpEz+spK npaNhBpLoqF4gVHuclndEKvEjFnGxe21BHQyVwItWuBVGiudDXHA1McMNa33nIy0jxjbB1E2 pqH2kPJbC3Mfsrh+gcTA2tL8+fCS/51/S38wPGXJdyPRcQGUGC0k52QanotgDq5J8EI3Wnsh /RgpcR0Yo3FbR8gmbUxUdSm5O5BWSK/BTJwRN969/k0BkDaQja53AaOJ22Xes9gI//r81eyO /dxJ/BgBgiP6yKTkg81XaI8Aad4vPoM1uowfrnGIW0nsbzGihFLtJnW1Db1hU51YtFIvPs+F LjsdGO5IjTNvUdXpm7Dl9kbG2yaZdJfWhbw8tro+8o0FrUCktpWT2cM7pWOsU64CjBXpyCvg FubZov97fBT9oB3ro69ToRBH1qVLP3wZsSp8SeykchFQtDTOpzCpScQ+0jVLiVNHL4rQ98sv 6+8gN32+0LkvbgNTGHSnaeaJZRJ/cmfWOl2MNr9CXtnwRu5R87n5iUc91CCKZBmlM1X4u+lT VCabPScWME0WdAH4lFocAlbTgggDproYpfapS+Sq+qGDj4f21flKPKl7XrYUnFJRBQXOpHRC h7GhNj234p29L9zPR4jA+1qJ7RaI1W5AKsvSIDXhAmiV2KthguPh6vmmR8e8gr0M3ijEvvhw Jf7VxP7JQWTuqbJ8YljiLZMnCYrVVRzvephWXgm2Y9Gu2jvRipOZ+EQKo4PBZxogzT/nsOwL i3EaGw5Tz7xR3JYeBH7+87uRRqbGvdIANriOzg15AmBXk9a3m9b7GdJrU+MIkuaewcPCMmlN Mkf5nDqeB2pw9RqQf0ZoPmjjqFry5s2A57OFV/Vy6TP79Q2WN3mF0CN2CJITS2CCN7W0kLRK gDZgEhaFVqjRxeZ/dlIIhZo9dJwgN8r5zAwbGKU382ZvJ+UpAGFJDsTJMmruoA+gA82yHLii J85q6ZhI4xb55DLhZYUhg== IronPort-HdrOrdr: A9a23:wyQrDaCPF3K7ZQLlHemF55DYdb4zR+YMi2TDGXoBKyC9Ffbo8v xG/c526faQsl0ssR4b6LO90cW7IE80sKQU3WBuB8bHYOCWggSVxehZhOOJrgEIWReOkdK1vp 0PT0ERMqyXMbEDt7eC3CCoV9I7hMKK+Kq0heHY1R5WPHlXV50= X-Talos-CUID: 9a23:NQ9iWm+kOJV8ysQooUqVv09FAM59ckfy90f7Bn2pMjZIEqWraVDFrQ== X-Talos-MUID: =?us-ascii?q?9a23=3A73tYeg/MHoGPxE2i7HKSk8aQf5xOuaKDOnkHqoc?= =?us-ascii?q?P49alNnEoEiu81yviFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,189,1728943200"; d="scan'208";a="196154363" X-MGA-submission: =?us-ascii?q?MDEOpfF2qlATfwbqDAXEUiLdtnPwAbzrY4XcLE?= =?us-ascii?q?s/xNM4IcBfgxOwF/gwWpZ9VqSKANt8PkEiP/YwxsZWkmsAPi6yx6Ym2M?= =?us-ascii?q?Cl2bW4+fsa9StPaFek2G7BM9TTJs6317zUDqEuAztNnrh7XGm8lIlSn2?= =?us-ascii?q?Gtc/mx3Pb5uFubE5JTsDJp7A=3D=3D?= Received: from jupiter.mpi-klsb.mpg.de ([139.19.86.15]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 27 Nov 2024 17:59:50 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=mpi-sws.org ; s=mail202309; h=To:References:Message-Id:Content-Transfer-Encoding:Cc:Date: In-Reply-To:From:Mime-Version:Content-Type:content-id:content-description; bh=r0t6o+zKPgsF43gtzmYgkIC7qESlq3cC9NFAajZKbCY=; b=u1ffNvfAGEKV9/xQvxDtGXOopq ECVbT0aR62d+Xpt3U0rqqllExey2IB42YFr53XpJVxf/XZebc5Z5uLY2yKDbzmxkgBGDdV45fG98w bIOR2WoJyvQDePslks/Z3OexetwgkEFlqnN+xhZFDcOrENbbKYz9hb0L4Mas1eO0Xw/un2vWt7us/ RngPYhjQqgYAuJaqiquv6XGKYdmyBa6e0eFEKU7qWN79rbDUpBUyWjcyY9xMUT8m3g2rNwSMmqNU9 kJnwfgnywn0/uZJBDXgavRT3V6TiyAueu8wpoHU5/PAPkckoCki7zg7rCQnrWV0fNyErgqkXuDka/ kzHGYc3A==; Received: from srv-23-0407.mpi-klsb.mpg.de ([139.19.205.26]:45724 helo=maniac.mpi-klsb.mpg.de) by jupiter.mpi-klsb.mpg.de (envelope-from ) with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.98) id 1tGLOE-00000003NM4-17e5; Wed, 27 Nov 2024 17:59:49 +0100 Received: from [212.30.36.73] (port=31904 helo=smtpclient.apple) by maniac.mpi-klsb.mpg.de (envelope-from ) with esmtpsa (TLS1.2:ECDHE_SECP256R1__RSA_SHA256__AES_256_GCM:256) (Exim 4.96) id 1tGLOD-00APfl-2q; Wed, 27 Nov 2024 17:59:45 +0100 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.600.62\)) From: Andreas Rossberg In-Reply-To: <863914ab-6142-42bc-8ab4-8ead2800623a@laposte.net> Date: Wed, 27 Nov 2024 17:58:21 +0100 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <59C8DF2A-AF2C-4917-8075-4C16EE4AC393@mpi-sws.org> References: <7F296476-3CFC-4E74-B3F9-462A438A1BD6@mpi-sws.org> <0B3AB0A7-C413-4F1B-818A-7541B3919163@mpi-sws.org> <863914ab-6142-42bc-8ab4-8ead2800623a@laposte.net> To: Vu Ngoc San X-Mailer: Apple Mail (2.3774.600.62) x-ms-reactions: disallow Subject: Re: [Caml-list] ANN: Boulder Dash in OCaml Reply-To: Andreas Rossberg X-Loop: caml-list@inria.fr X-Sequence: 19220 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: Ah, I wasn=E2=80=99t aware that binding existed, thanks for the hint! > On 27. Nov 2024, at 11:44, Vu Ngoc San = wrote: >=20 > that's really impressive, thanks for this! > for the sound in SDL, why not use tsdl_mixer ? >=20 > San >=20 > Le 26/11/2024 =C3=A0 18:38, Andreas Rossberg a =C3=A9crit : >> Couldn=E2=80=99t let it rest, so I=E2=80=99m (already) announcing = version 2 of it =E2=80=94 now a much improved, practically = feature-complete reimplementation of both Boulder Dash 1 & 2. >>=20 >> Version 2 was an excuse for me to mess around with the OCaml bindings = to popular graphics engines, and as a result, it now comes with 3 = backends to choose from: >>=20 >> 1. the homely bare OCaml Graphics library = (https://github.com/ocaml/graphics), >> 2. the TSDL binding to the SDL2 API = (https://github.com/dbuenzli/tsdl), >> 3. the binding to the Raylib engine = (https://github.com/tjammer/raylib-ocaml). >>=20 >> The list is in order of increasingly better user experience, for the = price of a potentially harder build experience. In theory, all versions = should run on Windows, Mac, and Linux, though I was too lazy to test all = combinations, and I (or my opam) had trouble installing some of the = dependencies on some of the systems. >>=20 >> Features: >>=20 >> * Faithful original physics, graphics, animations, sound, and music >> * Authentic scrolling mechanics combined with dynamic resizing >> * All 40 levels and 5 difficulties of Boulder Dash 1 & 2 >> * Pause-and-go mode for relaxed playing >>=20 >> Relative to the previous release, version 2 adds the following = niceties: >>=20 >> * Support for SDL and Raylib engines, which allow all of the = following >> * Original sound effects and music >> * Original level color schemes >> * Full screen mode >> * Faster graphics >> * Dynamic graphics scaling adjustment >> * Gamepad/joystick support as well as more precise keyboard controls >> * Boulder Dash 2 levels and decoder >>=20 >> Almost looks like a real game now. One from the 80s anyways. :) >>=20 >> Enjoy, >> /Andreas >>=20 >>=20 >>> On 12. Nov 2024, at 16:55, Andreas Rossberg = wrote: >>>=20 >>> Boulder Dash(*) was my favourite computer game in the 8-bit era, = first released on the Atari 400/800 in 1984. Though I never owned an = 8-bit machine myself, I had friends that I annoyed enough to let me play = it on theirs. >>>=20 >>> As a homage to its 40th anniversary, I put together a fairly = faithful clone of the original game, implemented in just a few 100 lines = of bare OCaml, with nothing but the homely Graphics library. It should = run on Windows, Mac, and Linux, though I was too lazy to test the = latter. >>>=20 >>> Features: >>>=20 >>> =E2=80=A2 Faithful original physics, graphics, and animations >>> =E2=80=A2 Authentic scrolling mechanics combined with dynamic = window resizing >>> =E2=80=A2 All 20 levels, including intermissions, and 5 = difficulties >>> =E2=80=A2 Pause-and-go mode for relaxed playing >>>=20 >>> It is open-source here: >>>=20 >>> https://github.com/rossberg/boulder-dash >>>=20 >>> Enjoy! >>>=20 >>> /Andreas >>>=20 >>> (*) https://en.wikipedia.org/wiki/Boulder_Dash_(video_game) >>> "Boulder Dash" is a trademark of BBG Entertainment >>>=20 >=20