diff --git a/digger.cabal b/digger.cabal
index adef896cf68bc235909bc26c7836f56ad56ca0d0..7a49520fe6ec89c3aa3e3bb91b9066861fe5422e 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