Merge pull request #217 from hannesm/firobe-ec

add Firobe to mirage-crypto-ec authors
mirage · Mar 19, 2024 · 5864c0d · 5864c0d
2 parents 14006f2 + c7c4eb5
commit 5864c0d
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."