summaryrefslogtreecommitdiff
path: root/dependent-enummap.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'dependent-enummap.cabal')
-rw-r--r--dependent-enummap.cabal4
1 files changed, 2 insertions, 2 deletions
diff --git a/dependent-enummap.cabal b/dependent-enummap.cabal
index 8a2d275..585bf97 100644
--- a/dependent-enummap.cabal
+++ b/dependent-enummap.cabal
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: dependent-enummap
-version: 0.1.0.0
+version: 0.2.0.0
synopsis: A generalisation of EnumMap to dependent types
description:
A generalisation of EnumMap to dependent key and value types. The key type
@@ -9,7 +9,7 @@ description:
operations in coercions accompanied by some runtime type-consistency
assertions.
license: BSD-3-Clause
-copyright: (c) 2025 Tom Smeding, Mikolaj Konarski
+copyright: (c) 2025-2026 Tom Smeding, Mikolaj Konarski
author: Tom Smeding, Mikolaj Konarski
maintainer: Tom Smeding <xhackage@tomsmeding.com>
category: Data, Dependent Types