diff --git a/dune-project b/dune-project index ad2ea45d..6554bf67 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 1c506a7a..780cbad0 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"]