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 033FB5D6 for ; Wed, 6 Oct 2021 01:06:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="532260687" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Oct 2021 03:06:27 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D2773E01CB; Wed, 6 Oct 2021 03:06:27 +0200 (CEST) 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 9C9C9E00C9 for ; Wed, 6 Oct 2021 03:06:21 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e.mdorel@gmail.com; spf=Pass smtp.mailfrom=e.mdorel@gmail.com; spf=None smtp.helo=postmaster@mail-pj1-f47.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AXJfYEBLov1Lo+4bIoNmcuP1mWUAX0o4c3iYr45Y?= =?us-ascii?q?qw4hDbr6kt8y7ehCFvbM81RSUAs3y0LFts6LuqafuWGgNs96qkUspV9hybSIDk?= =?us-ascii?q?tgchAc6AcSIWgXRJf/uaDEmTowZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF?= =?us-ascii?q?5Ovn5FpTdgsipy+y+4ZnebxhHiDe9Y755MQm7oxjWusQKm4VpN7w/ygHOontGe?= =?us-ascii?q?uRWwX1nKFeOlBvi5cm+4YBu/T1It/0u68BPX6P6f78lTbNDFzQpL3o15Mzwuhb?= =?us-ascii?q?dSwaE+2YRXX8XkhpMBAjF8Q36U5LsuSb0quZxxC+XNtDwQLspWzqt8r1rRQfnh?= =?us-ascii?q?ycdNzA3/mLZhNFugq1Hux+uvQBzzpTObY2JKPZzfKXQds4aS2pbWcZRUjRMDIy?= =?us-ascii?q?mb4sODOoKIOFWoJPnp1sSrBu+AxCgCu3oyj9SmHD22bAx3uM/Hg3c2QwvAtUOs?= =?us-ascii?q?G7Ko9XxL6oSXuW1w7PJzTXHdf9ZxTD96I3Rfx0nvPqDUq5+f9DLxkkzCwPKkE+?= =?us-ascii?q?QqYr9Mj6b1ekBrnSW4upvW++xj2Mrtg58ryWuy8ovl4XHiJwYx03E+yh9z4g4O?= =?us-ascii?q?cG0RU1mbNOgDpddqSOXOYVoT88/TW9lvjsxxLMBuZ6+ZicKyZInygbQa/yGb4i?= =?us-ascii?q?I4g/jW/2LLThkg3JlfaqziAu18Ue8ye3zSNO03ExWoSpCl9nArncN2ADJ5ciCT?= =?us-ascii?q?vtx5ECh2SyA1wzL7+FLO1o0lbbaK54n27I/i50TsV7dES/ygkn2i7WWdkoi9+O?= =?us-ascii?q?16Orneq3rqoGAO4JwkA3zMaQjltahDeglMwUCRWeW9Oa62bb+50P2Wq9Kgeczk?= =?us-ascii?q?qTBsJDVO8AbpqmhDg9QyIkj6hK/Ay6+0NQagHULNVxFdR2FgoTzNFHOJ/f4Dfi?= =?us-ascii?q?7g1uyijtk2/fGPrj5DpXMKHjMjqvhcK5j50JAzAc/19NS6pJOBr0fPf7+W1X9u?= =?us-ascii?q?dPaAxMhNgy72efnCNFz1oMEXmKPB7eUP73IvV+N++0vJPOMa5ERuDvmJPgl4uT?= =?us-ascii?q?hjX49mVMHYaap2p4XZGiiHvt6O0WZfWbsgtAZHGgWpAU+SejqhESGUT5SfHayQ?= =?us-ascii?q?7kx5io7CYKjFYfMXJqhgL2H3CehH51ZfHpKCl6WESSgS4LRUP4JbGeWI9R9uj0?= =?us-ascii?q?CT7moDYE7hiujrAvr970yI/DV+WsdvIj/1d4w6+rJmBUa+DpvSsCM1GfLSHt7z?= =?us-ascii?q?U0SQDpj8bp+ogRYw02f0K49r/tCGNgbs/4PVws9L5PY5+N/AtH2HAnGe4HaGx6?= =?us-ascii?q?dXty6DGRpHZoKyNgUbhMlcz1DphXK3i7vG71M0rLXW9o79aXT23W3LMF4mS6uP?= =?us-ascii?q?EYJgFwvQ88JPmqj1PcXH+37CIvAkkHfnKGvJ/x04Q=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A22TORqNkRCsalMBcTvijsMiBIKoaSvp037BL?= =?us-ascii?q?7TEJdfUxSKalfq+V7ZEmPHPP+VQssTQb6LO90cq7IE80l6QFhbX5VI3KNGLbUS?= =?us-ascii?q?mTTL2KhrGSpAEIdReOkNK1Fp0NT0G9MrDN5JRB4voSKTPXL+od?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BzAQCYahphfy/YVdFaHgE8DAILgW6CV?= =?us-ascii?q?wFKVjsxhEeBHo4rhS2IaAGFb4ItgS2GMBQMgVwLAQMBDTcKBAEBhGGCbQIdBwE?= =?us-ascii?q?EMAkOAQIEFQEBBQEBAQIBAwMEARMBAQ0LEAg4JoVoDYI1IoQEER0BGx4DEgkBB?= =?us-ascii?q?jcCIAQBEQEFAVeCUIJUAQMvD5hbgh6BBD2DXYdVgRUFF4EBgggGgT8BAwOBAII?= =?us-ascii?q?mChkoDWiBVwIHEoEohW6BHQEBhmYngimBS4MtgmICgSZnIIJKgmQEhU0BL4EFi?= =?us-ascii?q?DKKO6s8TAeDEBuKPYgSjAMrhS2hRwGQW5F0mHcQIxKBGBOCFDMaI1AxgREYgQ8?= =?us-ascii?q?JRxkOkhKFFIVMQi8CNgIGAQoBAQMJiXUBAQ?= X-IPAS-Result: =?us-ascii?q?A0BzAQCYahphfy/YVdFaHgE8DAILgW6CVwFKVjsxhEeBHo4?= =?us-ascii?q?rhS2IaAGFb4ItgS2GMBQMgVwLAQMBDTcKBAEBhGGCbQIdBwEEMAkOAQIEFQEBB?= =?us-ascii?q?QEBAQIBAwMEARMBAQ0LEAg4JoVoDYI1IoQEER0BGx4DEgkBBjcCIAQBEQEFAVe?= =?us-ascii?q?CUIJUAQMvD5hbgh6BBD2DXYdVgRUFF4EBgggGgT8BAwOBAIImChkoDWiBVwIHE?= =?us-ascii?q?oEohW6BHQEBhmYngimBS4MtgmICgSZnIIJKgmQEhU0BL4EFiDKKO6s8TAeDEBu?= =?us-ascii?q?KPYgSjAMrhS2hRwGQW5F0mHcQIxKBGBOCFDMaI1AxgREYgQ8JRxkOkhKFFIVMQ?= =?us-ascii?q?i8CNgIGAQoBAQMJiXUBAQ?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="532260671" X-MGA-submission: =?us-ascii?q?MDFcRzp6iiFfKvgPkbUIfc3sV8JrB4XKREjG6P?= =?us-ascii?q?r4rNKfmOijO4/gPDyu5yUEUEJsCzMQYOTyyPQOcHSZWTUaO78LDr+rF5?= =?us-ascii?q?EfppR2d9lgogIgZ8ieRB1XYlNcAzkZHJOGtvE80J88oaEvzJxE/TrcCS?= =?us-ascii?q?DfFwZQpuvY3uxIHmWqHka9MA=3D=3D?= Received: from mail-pj1-f47.google.com ([209.85.216.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 06 Oct 2021 03:06:20 +0200 Received: by mail-pj1-f47.google.com with SMTP id cs11-20020a17090af50b00b0019fe3df3dddso2844123pjb.0 for ; Tue, 05 Oct 2021 18:06:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:reply-to:from:date:message-id:subject:to; bh=Og3pDSiSpXYMLzvrRqtDKmX8X5Pu++QLA+vaDyr0xc4=; b=AeOm1Fsg1vSDRPHlHXh96Xc9JZPPAuJoi4vH8hFs/hvI/N0OoQcVBHQbLvHbX839i7 ixW5O+yiKqtX92x55HrBo1CrFOsv4lQM9tku93HB40LkU4d0wgR4MldQ2yquXCcU5X2G T+W+Xwuo2HBEBqIgSyq51Y7SUN/TZv1MCNFxxyJeBNbjeRDkhGi3bGTerjsR1Ndt0OCa 0QSDBe6PCcRwot8I45lDXteBW0XMpXt+4QHvtNEPG8607f4wGIK0UtsSB3EgmiDBOFF7 Xeg/Z6225hDCq3LWbQJq2nq/9JTNlvWziCySGz54U4R6Oufvwg4G41Pm0QbmWYKW8isp hNoA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:reply-to:from:date:message-id :subject:to; bh=Og3pDSiSpXYMLzvrRqtDKmX8X5Pu++QLA+vaDyr0xc4=; b=REY34yxFMgz4fzMqrD0rzNTB+jJH9gE4ahNj04pSJliy1OBUt6CvvTIBszVAZ+9yse DoWelGNv9YBCY4PKVq6oytZvqq3ZD3YgkD4rOnBQhG0a8wmt8S2uHWl3Iv9pJfae7GOF rYM/rJA6dbRaB3L/8HN6JdCVX32P5soPgZGer1IYMW5KN5P9c18uZxR0uvcfJ221KwF4 DeFvAeoDY+87MiDFzY9llYfkS3ympyhW4U/Ivv+w8RvQfEu+HbFan0Jdgla4gE29ZFDB qIHTz5apYyKmRG+S3r8/0EaPHAfhpbhCIKsnOxCGEXoFonALS02HKvfRXvQ0PhEG7KON VJxw== X-Gm-Message-State: AOAM5325ViX33moCbBvg0g5CLdot6VPKEHFCsdGpvudiL+FW5V4GjOlt N2GEpGw/8F784/1tG/N7PDdwJer9VMeblFxXKVI2x3vKaew= X-Google-Smtp-Source: ABdhPJy3odypkP8xIrzDngISrcmMoSCxlN+N0trb/JkeSiJBNl0XTxzA830l6/R81bqZrq3takTB4IBknOqBN3x4Yc8= X-Received: by 2002:a17:90b:2247:: with SMTP id hk7mr7478027pjb.72.1633482378383; Tue, 05 Oct 2021 18:06:18 -0700 (PDT) MIME-Version: 1.0 Reply-To: erik.martin-dorel@ens-lyon.org From: Erik Martin-Dorel Date: Wed, 6 Oct 2021 03:06:07 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000e9154b05cda4c0b8" Subject: [Caml-list] [ANN] Release of Learn-OCaml (ocaml-sf/learn-ocaml:0.13.0) X-Loop: caml-list@inria.fr X-Sequence: 18581 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: --000000000000e9154b05cda4c0b8 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear list, FYI the version 0.13.0 of Learn-OCaml has just been released: - on GitHub, with the corresponding release assets: https://github.com/ocaml-sf/learn-ocaml/releases/tag/v0.13.0 - on Docker Hub: https://hub.docker.com/r/ocamlsf/learn-ocaml - and more details are available from my Discourse post: https://discuss.ocaml.org/t/ann-release-of-ocaml-sf-learn-ocaml-0-13-0/8577 ) Kind regards, Erik --=20 =C3=89rik Martin-Dorel http://erik.martin-dorel.org/ --000000000000e9154b05cda4c0b8 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear list,

FYI the version 0= .13.0 of Learn-OCaml has just been released:

- on = GitHub, with the corresponding release assets:
- on Dock= er Hub:
- and= more details are available from my Discourse post:

Kind regards,
Eri= k

--
=C3=89rik Martin-Dorel<= br>
http:/= /erik.martin-dorel.org/
--000000000000e9154b05cda4c0b8--