diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Revision history for dec
 
+## 0.0.6
+
+- Support GHC-8.6.5...9.10.1
+
 ## 0.0.5
 
 - Add `boringYes` and `absurdNo`.
diff --git a/dec.cabal b/dec.cabal
--- a/dec.cabal
+++ b/dec.cabal
@@ -1,6 +1,6 @@
 cabal-version:      >=1.10
 name:               dec
-version:            0.0.5
+version:            0.0.6
 synopsis:           Decidable propositions.
 category:           Data, Dependent Types
 description:
@@ -14,8 +14,8 @@
   \    | No (Neg a)
   @
 
-homepage:           https://github.com/phadej/vec
-bug-reports:        https://github.com/phadej/vec/issues
+homepage:           https://github.com/phadej/dec
+bug-reports:        https://github.com/phadej/dec/issues
 license:            BSD3
 license-file:       LICENSE
 author:             Oleg Grenrus <oleg.grenrus@iki.fi>
@@ -24,17 +24,15 @@
 build-type:         Simple
 extra-source-files: ChangeLog.md
 tested-with:
-  GHC ==7.8.4
-   || ==7.10.3
-   || ==8.0.2
-   || ==8.2.2
-   || ==8.4.4
-   || ==8.6.5
+  GHC ==8.6.5
    || ==8.8.4
-   || ==8.10.4
+   || ==8.10.7
    || ==9.0.2
-   || ==9.2.4
-   || ==9.4.1
+   || ==9.2.8
+   || ==9.4.8
+   || ==9.6.5
+   || ==9.8.2
+   || ==9.10.1
 
 source-repository head
   type:     git
@@ -46,11 +44,8 @@
   ghc-options:      -Wall -fprint-explicit-kinds
   exposed-modules:  Data.Type.Dec
   build-depends:
-      base    >=4.7 && <4.18
-    , boring  >=0.2 && <0.3
-
-  if !impl(ghc >=7.10)
-    build-depends: void >=0.7.3 && <0.8
+      base    >=4.12.0.0 && <4.21
+    , boring  >=0.2.2 && <0.3
 
   if impl(ghc >=9.0)
     -- these flags may abort compilation with GHC-8.10