@@ -1,5 +1,5 @@
1name: type-level-sets
1name: type-level-sets
2−version: 0.8.0.0
2+version: 0.8.5.0
3synopsis: Type-level sets and finite maps (with value-level counterparts)
3synopsis: Type-level sets and finite maps (with value-level counterparts)
4description:
4description:
5 This package provides type-level sets (no duplicates, sorted to provide a normal form) via 'Set' and type-level
5 This package provides type-level sets (no duplicates, sorted to provide a normal form) via 'Set' and type-level
@@ -86,4 +86,4 @@ library
86 Data.Type.Map
86 Data.Type.Map
88 build-depends: base < 5,
88 build-depends: base < 5,