diff --git a/mirage-crypto-ec.opam b/mirage-crypto-ec.opam
index a248dafe..4adeb44d 100644
--- a/mirage-crypto-ec.opam
+++ b/mirage-crypto-ec.opam
@@ -13,6 +13,7 @@ authors: [
   "Nathan Rebours <nathan.p.rebours@gmail.com>"
   "Clément Pascutto <clement@tarides.com>"
   "Etienne Millon <me@emillon.org>"
+  "Virgile Robles <virgile.robles@protonmail.ch>"
 # and from the fiat-crypto AUTHORS file
   "Andres Erbsen <andreser@mit.edu>"
   "Google Inc."