Skip to content
Snippets Groups Projects
Commit c1e2efaf authored by Damien Amara's avatar Damien Amara
Browse files

Update the digger.cabal file

parent dc877157
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment