From c1e2efaf1aff89a019e215890033b9c0dadc07d0 Mon Sep 17 00:00:00 2001
From: Damien Amara <damien.amara@univ-lille.fr>
Date: Tue, 30 Jan 2024 16:58:17 +0100
Subject: [PATCH] Update the digger.cabal file

---
 digger.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/digger.cabal b/digger.cabal
index adef896..7a49520 100644
--- a/digger.cabal
+++ b/digger.cabal
@@ -13,7 +13,7 @@ description:         Convert Coq code written in a "C-style"
 license:             OtherLicense
 license-file:        LICENSE
 
-author:              Samuel Hym, Veïs Oudjail
+author:              Gilles Grimaud, Samuel Hym, Veïs Oudjail
 maintainer:          samuel.hym@univ-lille.fr
 copyright:           2016-2024 Université de Lille, Veïs Oudjail
 category:            Language
-- 
GitLab