From ffdcb51cd006f45459e8fb38944654088b83b6cf Mon Sep 17 00:00:00 2001 From: filipeom <33165733+filipeom@users.noreply.github.com> Date: Wed, 16 Oct 2024 15:36:59 +0100 Subject: [PATCH] Update dune-project --- dune-project | 2 +- owi.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index ad2ea45dd..6554bf673 100644 --- a/dune-project +++ b/dune-project @@ -18,7 +18,7 @@ "Pierre Chambart " "Filipe Marques " "Eric Patrizio " - "Arthur Carcano ") (maintainers "Léo Andrès ") diff --git a/owi.opam b/owi.opam index 1c506a7a5..780cbad01 100644 --- a/owi.opam +++ b/owi.opam @@ -10,7 +10,7 @@ authors: [ "Pierre Chambart " "Filipe Marques " "Eric Patrizio " - "Arthur Carcano " ] license: "AGPL-3.0-or-later" tags: ["owi" "ocaml" "webassembly" "wasm" "interpreter" "compiler"]