x-revision in vec-optics and vec-lens

phadej · Mar 21, 2023 · 1826f07 · 1826f07
1 parent 202a73c
commit 1826f07
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/vec-lens/vec-lens.cabal b/vec-lens/vec-lens.cabal
@@ -1,7 +1,7 @@
 cabal-version:      2.2
 name:               vec-lens
 version:            0.4
-x-revision:         2
+x-revision:         3
 synopsis:           Vec: length-indexed (sized) list: lens support
 category:           Data, Dependent Types, Lens
 description:

diff --git a/vec-optics/vec-optics.cabal b/vec-optics/vec-optics.cabal
@@ -1,7 +1,7 @@
 cabal-version:      2.2
 name:               vec-optics
 version:            0.4
-x-revision:         2
+x-revision:         3
 synopsis:           Vec: length-indexed (sized) list: optics support
 category:           Data, Dependent Types, Optics
 description: