add Firobe to mirage-crypto-ec authors

hannesm · Mar 19, 2024 · c7c4eb5 · c7c4eb5
1 parent 4b757b1
commit c7c4eb5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mirage-crypto-ec.opam b/mirage-crypto-ec.opam
@@ -13,6 +13,7 @@ authors: [
   "Nathan Rebours <[email protected]>"
   "Clément Pascutto <[email protected]>"
   "Etienne Millon <[email protected]>"
+  "Virgile Robles <[email protected]>"
 # and from the fiat-crypto AUTHORS file
   "Andres Erbsen <[email protected]>"
   "Google Inc."