diff options
-rw-r--r-- | dependent-enummap.cabal | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/dependent-enummap.cabal b/dependent-enummap.cabal index 7dbb1a7..0c64b58 100644 --- a/dependent-enummap.cabal +++ b/dependent-enummap.cabal @@ -9,8 +9,9 @@ description: operations in coercions accompanied by some runtime type-consistency assertions. license: BSD-3-Clause -author: Tom Smeding -maintainer: Tom Smeding +copyright: (c) 2025 Tom Smeding, Mikolaj Konarski +author: Tom Smeding, Mikolaj Konarski +maintainer: Tom Smeding <xhackage@tomsmeding.com> category: Data, Dependent Types build-type: Simple |