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=dEfKGj9r; dkim=pass (2048-bit key; unprotected) header.d=laposte.net header.i=@laposte.net header.a=rsa-sha256 header.s=lpn-wlmd header.b=racs6XQx; 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]) by plum.tunbury.org (Postfix) with ESMTP id 87CF1128CA4 for ; Wed, 27 Nov 2024 10:45:13 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:references:from: in-reply-to:content-transfer-encoding:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=I/+wFndzTKy0zBzOMSXpmjYRS0Aicfb8LAvZ3qUBjZg=; b=dEfKGj9r35hG/HEjhhG5Pa+P1inubzFjVB/xGMMoSNHB+qcTRQH3aBMv /VLy4Sc5Jie5HxMk6yyrlh4kFdK1gMEmTuZOC8tGD/9cRk4MAdXT7P9Ak xq2vbP7WlvvhK/5I++dUOzI+VqWwol6z7iiVycCLBroOoQwK+dUZIZEjg M=; 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=@laposte.net X-IronPort-AV: E=Sophos;i="6.12,189,1728943200"; d="scan'208";a="196069035" 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 11:45:11 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id B7722E0D3D; Wed, 27 Nov 2024 11:45:09 +0100 (CET) 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 6DD35E00B6 for ; Wed, 27 Nov 2024 11:45:02 +0100 (CET) IronPort-SDR: 6746f82d_4IDDXq/hGqyFA1LJeQDnQSsu7csYAKZNhcEn6LxPLeVxmXf G+kQFqbR6ZkxD/Xyrzq98mfW59kTHFy17PhYhXA== X-IPAS-Result: =?us-ascii?q?A0HsAQA190ZnjmN8XKBaHgEBCxIMQIFIC4JEfVozBAtIh?= =?us-ascii?q?FaIfIZRgXQtA4Q7mVyBQBYoDwEDAQ05CwQBAQMEOIRIAopcAh4HAQQwCQ4BA?= =?us-ascii?q?gQBAQEBAwIDAQEBAQEBEAEBBQEBAQIBAQIEBgECEAEBAQI6BQ47hXsNgluBL?= =?us-ascii?q?GUJOAEBAQEBAQEBAQEBAQEBAQEBAQEWAggFMC4BHwEBAQMSERUIAQE4DwsYA?= =?us-ascii?q?gImAgJWGQIBAR6CXwGCLwEDMQMFDKYcAooqgTKBAYIMAQEG2lsQOxOCSgMGg?= =?us-ascii?q?RouiEwBimAngiiBFScLgXaBAj6CShcCAgGBXU2DDoJpgkSFDyWFNgGDSYwQj?= =?us-ascii?q?1NSexwDWTIBVRMXCwcFgSkhLAOCR3+BNoFRAYMQSoMugV4FN0eCSmlLNwINA?= =?us-ascii?q?jaCJH2CTYElBAWDaYELg16EW4YwHUACAQttPTcJCxsGPaEqAUaDX4EkaCkHY?= =?us-ascii?q?EULLZJnsyEHhB2MFpUyBhMvl1eSeph7ilhIgmCbKIFnOoFcTS5FgmdPAxkPV?= =?us-ascii?q?41KGYNhhFk7w0NCNTsCBwEKAQEDCYZLixOBSwEB?= IronPort-PHdr: A9a23:S0wkURJR25tDNbI1atmcuGtsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEvLMx3RSQAs2bs6sC17GO9fi4GCQp2tWojjMrSN92a1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I Ri4sAndrMYbjI9tJqosyBbCv39Ed/hLyW9yKl+ekQrw6t2s8JJ/9ihbpu4s+dNHXajmcKs0S qBVAi4hP24p+sPgqAPNTRGI5nsSU2UWlgRHDg3Y5xzkXZn/rzX3uPNl1CaVIcP5Q7Y0WS+/7 6hwUx/nlD0HNz8i/27JjMF7kb9Wrwigpxx7xI7UfZ2VOf9jda7TYd8WWWxMVdtXWidcAI2zc pEPAvICM+hWoIbyqUYAowWwBQesBuzg1jBGi2Tq3a0jyektDR3K0BIiEt8IrX/arM/1NKAXU e2tw6bI0CjIYetZ2Tf69IfDbw0vruuKXbltdsfR0lMgFwXfglWOtIzpJjWV1usKs2eH9OdgU figi3YgqwFqvjig2N0gio/XiYIJ013J8zhyz4kpK9OiUkF7fcKkH4VKtyGcL4Z7QsMsTnxst Ss01rAItpq2cDQIxZknxxPTdfiKfpaG7x/9V+ucLyp1iXF4db+8mRu/7FWsx+z+W8Sp0VtHr jZJn9/RvX4D0BzT79KISvp7/kq51jaP1hzT6uFZIU8vj6bUN5khwrsompsdsETDHS72mF3og 6CLd0Ur4PKk6+P9YrXpoJKXKox6ihnmP6gzm8GzHf40PwwQU2SB5OiwyrLu8Vf9TbhOlvE6j 7fVvZTAKcgFuqK1GQFY34c55xuwETur1skTkGcDLFJYYxKHk5bmO0vTLvD5DPawnUyhnCtty vvbJLPuGI/NIWLGkLr5fbZy9UpcyA0rwNBE4pJUFqkBLOv0Wk/sqNzYARg5Mw2yw+boEdlxy 4ETVX6SDqODNKPdq0eI5uU0I+mQeoAZojD9JOY55/L2jH85n0ESfbWx0JcKaX20Au5qLkGHb Xb2n9sND2gHshA6QeHukFGCVCRcZ3e2X6Iy/DE7D4emAJ/YRo+3hryNxjm7HoBPamBABVCMF mvnep6AW/gWcCKSJdRhkiAaWrS7TY8uyw2uuBf8y7V8NuXU4DEXtYr/1Nhp4O3ejQw++SRuD 8uBy2GNU310nmQQSjAqxq9/pEh9xk6H0ah5mPxYCcde5+hJUwc/LZ7T1fZ2C9H0WgLbf9eGU kyqQtu8AWJ5ctVkyNYLZwN5Gs6+phHFxSujRbEPxJKRA5lhzL+U+Xf2LI5GwnCOgLIoiR84X 45JOmqtrqp27w/IG4OPlUiFwfX5PZ8A1TLAoT/QhVGFu1tVBVYYucTtWHkeYhCTttHl/gbZS KfoD707MwxHwMrEK61Qa9Svg08VDOz7NoH4ZGS803y1GQ7O3qmFOZHjfSMDwWDbB08PuwQa5 XGdKQV4ACq98CrFFDI7LVv0eAv39PVm7nayT0s61QaPOlZo0fyr51sTivuXY/caxrUfpCpnr ThoTx6mx9yDLd2GqkJ6eblEJ9Mw5FASzWXCqwl0JYCtNYh5g0IGNgNqo0zp1hN4T9wfyZFsq HoyyxFuJOSe3U8pmyqw+5f2N/WXL2Dz+EvqcKvKwhTF187Q/K4T6fM+olGlvQezF0Nk/W81m 99Sm2CR4JnHFm9wGdr4T1o3+h5mprrbfjh15oXa0mdpOLW1tTmK0swgBe8swBKtN9lFN6bMG Aj3GswcT8+gTY5i00OgaFQaIaVU+6k/F8evb/ydxKPtOut83XqngWlB/IFhwxeU7SMvL4yAl 50Bwvyewk6GT2Kl0g/n45qxwNoYI2BDTQ/dgWD+CYVcZ7N/Z9MOAGaqeIisw8lmwoXqQzhe/ UKiAFUP3ImofwCTZhrzx141twxfrHq5lC+/1zExnSsuq//VxyXIhfr/MRwIPWVjQGB6ikzwL M6ygsxQDy3KJ0A50QCo40r33f0Rv615aXfOBEFHeCPeK2h6VbCsu/yEbtIFu/ZK+W1HFe+7Z 16dULv0pRAXhjjiE2Vpzzc+bzi2u5/9knSWkUqlJW1o5DrccMB0nlLE4cDEAOVWxnwATTV5j j/eAh69OcOo9JOajcWLvue7XmOnHppdFEujhZiJsm2l+ChsDhq0t/S6gtr8DQV81yLnn9VnT iTHqh/gb5Kjjvrid7M9OBAyWBmtuoJzAclmn5E1hY0M1HR/5N3d5ncBnWrpcJ1a1a/4cHsRV GsOyt/R7hLi3R4rJXaIyoTlE3SFl5I/P5/rOCVPgH57vpEZbcXcpKZJliZ0vFei+AfYYPwm2 ywY1eNr83kCxecApAsqyCyZRLEUB0hReyL2xHHqp5izqrtaYGG3fP2+zk17yJq6BbfEvBwZX nn+cb8mFDd39dlydlTBzDegj+OsMMmVdt8VuhCOxl3bhu4TNo90kPUNjgJjMHr6pmEojeg2k VY9uPPy9JjCIGJr8qWjBxdePTCgfMIf9AbmiqNGl9qX1YSiTd1xXy8GV5zyQbe0ASof4L75Y h2WHmR2+RL5UfLPWBWS40B8ozfTHoC3YjuJcWIBw4wqRQHBdhUB2EZFBnNjxMJ/SFztnpKrG KtgzhYW4FOw6h5Fy+YzcgL6Tn+avwCwLDE9VJmYKhNSqABE/Ubcd8KEvKp1GGlD85utoRboS CTTbhlUDWwPRk2PBkzydrio697a9uGEB+24Z/LQaLSKoOZaWr+G35Wqmodh+j+NMI2IMBwAR 7Uj3VFfWHliB8nDsy4KVzRSkD/RYMmaohj5o3Iv94a7+ezsQx7io42CF/oaMNli/Qy3nbbWN +OUg3UcS34Q3ZcNyHnUjbkHiQdM02c/LX/0S+hG5H+eKcCY0rVaBBMadS5pYc5B7qZnmxJIJ daekdTtkLhxkv8yDV5BE13ngMCgI8IQcATffBvKAliGMLOeKHjF2cbyNOmnQLsWkvgRsRK3s h6fGlfkJSiO0T/kS1r8VIMExDHeJxFYtIynJ1x1DnP/Sdv9dhChGMRykSVzxqAoiXTLM2FZa GckKgVJp6WX9j9VxPNyByYSixgtZfnBkCGf4e7CL58QuvY+GSV4mdVR53EiwqdU5iVJLBSas C/bttl1v1zglOSTmGMPuP9mrj9Tg5mXsANkNLmLrvGouF7f+Q4VqGKNFxsNpt1qT4Sw4/kWz tHXk7nvJXFE/s6GpaMh IronPort-Data: A9a23:uPNl6Kn9HTcsw5dG8tlwjRro5gwxIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJNW2qAPfyIa2XyeYhyO9+xoR4PvsLVx98yGVRrqiAzRFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazh8B56r8ks14K2r4mxA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN0+CVoRJoEEod9LQiJH7 6EKcG4dUwG60rfeLLKTEoGAh+w4KdXzeYQCpn5nzDfWSK95GcmFR6zS4sRE0XE2i9wm8fT2P pRBL2s1Kk2aP1seaz/7C7pm9AusrmL2dXtGtReTqq08y2za1AtqzLWrNtfJEjCPbZwNxBnG/ z+frwwVBDkEGtbG92agy0ugofLjg2TKQMUbSZ+Ro6sCbFq7nTZLV0BODzNXu8KRgUe7X5dbK lcI0jE/qLA7sk2tVNj0GROiyENopTYHXsZIVuon9A6Ky6zbpl/GXjFCSjdZb8c6uYkwSCBCO kK1c83BVTl0l6aZVSmkyvTXpCnvK3BLPVITXHpRJeca2OXLrIY2hxPJa99sFq+pk9H4cQ0cJ RjX90DSYJ1O0qY2O7WHwLzRv967jrbzJjPZCy3MW369qwRkeIGiZoqnrAGEta8GKI+BSUKds T4CltT2AAEy4XOlynDlrAYlRe/BCxO53Nv03QcH834Jq23FxpJbVdoMiAyS3W8wWir+RRfnY VXIpSRa74JJMX2hYMdfOt3qUZp2kPixT4+6DJg4i+aihLAvLmdrGwkwPiatM5zFyRBz+U3CE cjBLZr8ZZrkIfg5kmfeqxghPU8DnXpmmj6LH/gXPjy41qCaaHqUT7pNK1LmUwzKxP3snekhy P4Gb5Hi40wGCIXWO3CLmaZNdwxiBSZgX/je9ZcIHtNv1yI6QgnN/deNm+t5I+SIXs19yo/1w 51KchQFmQSh1SeXdlrih7IKQOqHYKuTZEkTZUQEVWtEEVB6CWp2xP5HLsdlTqpt7+F50/9/Q t8MfsjKULwFSS3K935ZJdPxpZBrPkbjzw+fHTuXUB5mdb5ZRivN5oDFeCnr/3IwFSaZj5Y1j ICh8QL5eqA9YTpeIvzYU9+V9GPpj0MhwLpze2DqPuhsfF7d9dk2Ci7p0d4yDcI+CTTC4Tq4z DemKwkT/tPJh4po9NXipLulqr2xGLBUBXtqHGj87Je3OxLF/2Gl/5RybeaQcR3ZV0L24K+EZ +5F693dadosgw9sn6RwN51J3JAOzYLjiJECxzs1AUiRSUqgD41RB0Wv3O5Nh/Vr/aBYsw7nY XC/0IBWFpvRMfy0DWNLAhQua9mC8vQmmjPyy/ARC2ei7Q9V+Iu3a2ljDyOuugd8coQsaJgEx N0/svE48wa80xomEuiXhxBuqlijECYybLUFhLo7XqnQlQsZ+nNTa8f9Cwj3wq21RfdiD00IG gKQ1Y3+3+ly50yaaHciN2n/7cwEj7Q0hR165lsjJVOIp9n7usEKzCBhqQoQcAAE4ShEgsRSO 3dqPXJbPa+h3Sllr+kdUnGOGzNuPgy4+EvwwXQni2eCaRGabTHQHl0EOMKm3kMQw0RDdBd1o ZCaz2fEV27xXcfThyEdZ29sm8bBf/dQqDLQqZuCJNuUOaU1ehzZu7+eXnUJoB7ZHs8Bvk3Li u109uJWa6egFyovj4AkKoudj5I8dQulITFcfPRf4685J2HQVzWs0zyoKUrqWMdsJeTPwHCoG f5VOcNDeBSv5hmg9glBK/Y3HIZ1u/o16P4pWLDhfzcGuoTCiAtZisvb8yymiVI7R9lrr90GF brQUDC/CU2Vu2pfnj7cjctDO1fgW+I+Wi/H4LmX/tkKRrU5i8M9VWEp07CxgWeZDxs/wTKQo zH4RvH3y85M9N1SurXCQ4R5OhWMCNLsVe633hi5nPZQYPjub8rflQMnhWP2HgZRPLBLAox8v u2TvO7N2kmfuKsEQjjJvYuoB41M9cW5c7tFPu3KMXNfo3OjWdDt0TQH6WuXOZxEq/IDx8iFF i+TStq8Ss4RYPhZnEZqUil5Fw1HLbbadYLimH+Zg8nULyZFyi3BDtes1UGxXFFhbiVSZqHPU F7licih9vVzjdpqBiZdI9pEHpUhAlvoeZV+Ru3LrTPCU1WZ2AKTiIDDyyglxyrAUESfMcDA5 pnAeBjyWTKytIzMz/Bbq4ZChQIWPlksndgPel8hxPAuhwCYFGImKcEvAacCALxQkQ3w08jcT xPJZ20AFy78fGpldTPR3dfdZTqcV9c+YorBGj8U/k2qMnb8QMvKBbZ67S5v7ktnYjapnqntN dga/Wa2JRSrhI1gQeEI/PGgnON73bXgy2kV/Vzm2dnHa/rE7W7mCFQ6dOaMacDGLy0JvF7OO XBwQn1YT0a6T0G0SJk4IjhREQkepy/iiTMlcU9jBToZV5qzlIV9JD/XYokfEYHvqOwOLaYJX m/6AW2A/wh6H1QN7LAxtYtBbbBcUJq28wvTEEMnbQkbh6ar9mlhOc4e9cbKoAfO5yYHe27ge vKQD7TSyahLxI29GFFb9OnRx69Mbw== IronPort-HdrOrdr: A9a23:6FZYYqhlZtUqI2bR8ZoaFRLPTnBQXjMji2hC6mlwRA09TyXqrb HWoB19726ItN9xYgBbpTnkAtj9fZqyz+8X3WB8B8bbYOCighrSEGgA1/qB/9SDIU3DH4dmvM 8LEpSWSueAa2SS5vyKhDVQfexQp+VvvJrY4Nv2/jNpVAYvb6lh6gd/BG+gfnFedU1CHJ18Do OV4s9KuDakEE54Uu2LQnwdWKzYvtXOj5r6YRkJbiRJ1CC+yTeh6Lu/HBicwxsEXlp0qtofzV Q= X-Talos-CUID: 9a23:jJpTc22dCMVe7vVeDSlF3bxfSsU+VWbR0CzpHwz7AHw0WuXLWWKBwfYx X-Talos-MUID: =?us-ascii?q?9a23=3A5KWxyg+AkkQa3PjE8jhs12uQf9lG6f2QVGU0qJk?= =?us-ascii?q?hpuWach1ofD7Arh3iFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,189,1728943200"; d="scan'208";a="102761518" X-MGA-submission: =?us-ascii?q?MDGnYNC7IDQABFDrgOnnVPgI37PoCOyfb2KVWU?= =?us-ascii?q?VIqExGWw+R2+4kvOmr1lUMXWZ4ioGP7Cm4GUGVr42X1LLXZYQbQjA6g1?= =?us-ascii?q?S/GUG17kzcOjCU2h4uYwrFl+/hq0V2+l5Gzmlqh3sAh/IJG5FzLOlZpM?= =?us-ascii?q?9sFx9MdqMM79eYOLsLMyWANQ=3D=3D?= Received: from smtp-outgoing-1701.laposte.net ([160.92.124.99]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 27 Nov 2024 11:45:01 +0100 X-mail-filterd: {"version":"1.8.0","queueID":"4Xyx0T5MNrz7t7Z","contextId": "520c1c27-1dd8-416c-849a-0cd0bd4cf243"} Received: from outgoing-mail.laposte.net (localhost.localdomain [127.0.0.1]) by mlpnf0102.laposte.net (SMTP Server) with ESMTP id 4Xyx0T5MNrz7t7Z for ; Wed, 27 Nov 2024 11:44:57 +0100 (CET) X-mail-filterd: {"version":"1.8.0","queueID":"4Xyx0T47bcz7t7W","contextId": "6aa9da69-c827-470f-ad3f-2e14029df288"} X-lpn-mailing: LEGIT X-lpn-spamrating: 40 X-lpn-spamlevel: not-spam Received: from [129.20.36.42] (pr036042.math.univ-rennes1.fr [129.20.36.42]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mlpnf0102.laposte.net (SMTP Server) with ESMTPSA id 4Xyx0T47bcz7t7W for ; Wed, 27 Nov 2024 11:44:57 +0100 (CET) Message-ID: <863914ab-6142-42bc-8ab4-8ead2800623a@laposte.net> Date: Wed, 27 Nov 2024 11:44:56 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: caml-list@inria.fr References: <7F296476-3CFC-4E74-B3F9-462A438A1BD6@mpi-sws.org> <0B3AB0A7-C413-4F1B-818A-7541B3919163@mpi-sws.org> Content-Language: fr From: Vu Ngoc San In-Reply-To: <0B3AB0A7-C413-4F1B-818A-7541B3919163@mpi-sws.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=laposte.net; s=lpn-wlmd; t=1732704301; bh=8PcmpT4A5IL8s1kJiyRkvEhJOAjxW4caTClvVNHVEXs=; h=Message-ID:Date:MIME-Version:Subject:To:References:Content-Language:From:In-Reply-To:Content-Type:Content-Transfer-Encoding; b=racs6XQxdu+Ndu0X0EyhcRmqPOifIWSY4vzw3Eg+/fY161Fv2tGb9T1IwosnxMsf2kPmLVvofao4L1qJigr8TFIql1GyjDZgEOci8FfZMKTqUfkJbqhWJKIq/r3T7+Gt0lBj11XDaDAD0o/G9dsdrFxmYZ7tscLhPi+Z16GeJnTT3P0m/pkyYIpfa1t0W9jrvzIra3utvUWlfQIY1ngwT08XIH/iQ0Ny2BulOVW5uusIqLQ3se4/9rvRlasTfhTX/3zbYZA04VLi+CQyOoyfw4XUINKLNRlwNrUGu3xr8inRbskgxaQai2W8z8m6FUjDFUTDdKthVXssx9SDaSnp+w==; Subject: Re: [Caml-list] ANN: Boulder Dash in OCaml Reply-To: Vu Ngoc San X-Loop: caml-list@inria.fr X-Sequence: 19218 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: that's really impressive, thanks for this! for the sound in SDL, why not use tsdl_mixer ? San Le 26/11/2024 =C3=A0 18:38, Andreas Rossberg a =C3=A9crit=C2=A0: > Couldn=E2=80=99t let it rest, so I=E2=80=99m (already) announcing versi= on 2 of it =E2=80=94 now a much improved, practically feature-complete re= implementation of both Boulder Dash 1 & 2. > > Version 2 was an excuse for me to mess around with the OCaml bindings t= o popular graphics engines, and as a result, it now comes with 3 backends= to choose from: > > 1. the homely bare OCaml Graphics library (https://github.com/ocaml/gra= phics), > 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). > > The list is in order of increasingly better user experience, for the pr= ice of a potentially harder build experience. In theory, all versions sho= uld run on Windows, Mac, and Linux, though I was too lazy to test all com= binations, and I (or my opam) had trouble installing some of the dependen= cies on some of the systems. > > Features: > > * 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 > > Relative to the previous release, version 2 adds the following niceties= : > > * 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 > > Almost looks like a real game now. One from the 80s anyways. :) > > Enjoy, > /Andreas > > >> On 12. Nov 2024, at 16:55, Andreas Rossberg wro= te: >> >> 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 mac= hine myself, I had friends that I annoyed enough to let me play it on the= irs. >> >> 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 O= Caml, with nothing but the homely Graphics library. It should run on Wind= ows, Mac, and Linux, though I was too lazy to test the latter. >> >> Features: >> >> =E2=80=A2 Faithful original physics, graphics, and animations >> =E2=80=A2 Authentic scrolling mechanics combined with dynamic wind= ow resizing >> =E2=80=A2 All 20 levels, including intermissions, and 5 difficulti= es >> =E2=80=A2 Pause-and-go mode for relaxed playing >> >> It is open-source here: >> >> https://github.com/rossberg/boulder-dash >> >> Enjoy! >> >> /Andreas >> >> (*) https://en.wikipedia.org/wiki/Boulder_Dash_(video_game) >> "Boulder Dash" is a trademark of BBG Entertainment >>