diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -1,3 +1,7 @@
+# 0.2.0.2
+
+- Compatibility with GHC 9.12, minor package description cleanup (#34)
+
 # 0.2
 
 - Change LaTeX generation output
diff --git a/rere.cabal b/rere.cabal
--- a/rere.cabal
+++ b/rere.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.2
 name:               rere
-version:            0.2.0.1
+version:            0.2.0.2
 synopsis:
   Regular-expressions extended with fixpoints for context-free powers
 
@@ -10,36 +10,31 @@
   we can recognize context-free grammars.
 
 author:             Oleg Grenrus <oleg.grenrus@iki.fi>
-maintainer:         Oleg Grenrus <oleg.grenrus@iki.fi>
+maintainer:         Artem Pelenitsyn <a@pelenitsyn.top>
 license:            BSD-3-Clause
 license-file:       LICENSE
 extra-source-files:
-  changelog.md
   jsverify.json
+extra-doc-files:
+  changelog.md
   rere.sty
 
 tested-with:
-  GHC ==7.0.4
-   || ==7.2.2
-   || ==7.4.2
-   || ==7.6.3
-   || ==7.8.4
-   || ==7.10.3
-   || ==8.0.2
-   || ==8.2.2
-   || ==8.4.4
+  GHC ==8.4.4
    || ==8.6.5
    || ==8.8.4
    || ==8.10.7
    || ==9.0.2
    || ==9.2.8
-   || ==9.4.7
-   || ==9.6.3
-   || ==9.8.1
+   || ==9.4.8
+   || ==9.6.7
+   || ==9.8.4
+   || ==9.10.2
+   || ==9.12.2
 
 source-repository head
   type:     git
-  location: https://github.com/phadej/rere.git
+  location: https://github.com/ulysses4ever/rere.git
 
 flag rere-cfg
   description: CFG functionality, adds dependency on fin and vec
@@ -61,13 +56,13 @@
 
   -- GHC boot libraries
   build-depends:
-    , base          >=4.3.0.0  && <4.20
-    , containers    ^>=0.4.0.0 || ^>=0.5.0.0 || ^>=0.6.0.1
+    , base          >=4.3.0.0  && <5
+    , containers    >=0.4.0.0 && <0.9
     , parsec        ^>=3.1.12.0
     , transformers  ^>=0.3.0.0 || ^>=0.4.2.0 || ^>=0.5.2.0 || ^>=0.6.1.0
 
   -- other dependencies
-  build-depends:     QuickCheck ^>=2.14.2
+  build-depends:     QuickCheck >=2.14.2 && <2.17
 
   -- compat
   if !impl(ghc >=7.10)
@@ -153,10 +148,7 @@
     , containers
     , criterion   ^>=1.5.5.0 || ^>=1.6.0.0
     , derp
-    , fin
-    , parsec
     , rere
-    , vec
 
   if !impl(ghc >=8.0)
     build-depends: semigroups >=0.18.4 && <0.21
@@ -167,7 +159,7 @@
   if flag(rere-intersection)
     cpp-options: -DRERE_INTERSECTION
 
-  if !(flag(rere-cfg) && impl(ghc >=7.8))
+  if !flag(rere-cfg)
     buildable: False
 
 test-suite properties
@@ -179,10 +171,9 @@
     , base
     , containers
     , QuickCheck
-    , quickcheck-instances  ^>=0.3.30
     , rere
     , tasty                 ^>=1.4.0.1 || ^>=1.5
-    , tasty-quickcheck      ^>=0.10.1.1
+    , tasty-quickcheck      ^>=0.10.1.1 || ^>=0.11
 
   if flag(rere-intersection)
     cpp-options: -DRERE_INTERSECTION