From e009b2bf77d17557229dce934637fb5e259d4d47 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Tue, 23 Dec 2025 15:14:01 +0100 Subject: Bump version, since Enum1 is not backward compatible --- dependent-enummap.cabal | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'dependent-enummap.cabal') 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 category: Data, Dependent Types -- cgit v1.2.3-70-g09d2