summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dependent-enummap.cabal5
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