From c7c4eb58a6aca2a316b9f1883f02a29e52238768 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Tue, 19 Mar 2024 12:01:48 +0100
Subject: [PATCH] add Firobe to mirage-crypto-ec authors

---
 mirage-crypto-ec.opam | 1 +
 1 file changed, 1 insertion(+)

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."