diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,8 @@
+## 0.2022.3.18
+
+- support GHC 7.8 - 9.2
+- add missing build-tool dependencies `alex` and `happy`
+
 ## 0.2021.1.18
 
 - support GHC 7.8 - 8.10
diff --git a/Sit.cabal b/Sit.cabal
--- a/Sit.cabal
+++ b/Sit.cabal
@@ -1,5 +1,5 @@
 name:            Sit
-version:         0.2021.1.18
+version:         0.2022.3.18
 build-type:      Simple
 cabal-version:   >= 1.10
 license:         OtherLicense
@@ -25,7 +25,9 @@
                     GHC == 8.4.4
                     GHC == 8.6.5
                     GHC == 8.8.4
-                    GHC == 8.10.3
+                    GHC == 8.10.7
+                    GHC == 9.0.2
+                    GHC == 9.2.2
 
 data-files:         test/Makefile
                     test/Base.agda
@@ -46,10 +48,12 @@
   hs-source-dirs:   src
 
   build-depends:    array >= 0.3 && < 1,
-                    base >= 4.2 && < 5,
+                    base >= 4.7 && < 5,
                     containers >= 0.3 && < 1,
                     data-lens-light >= 0.1.2.2 && < 0.2,
                     mtl >= 2.2.1 && < 3
+  build-tools:      alex >= 3.2.2 && < 4
+                  , happy >= 1.19.6 && < 2
 
   default-language: Haskell98
 
diff --git a/test/Base.agda b/test/Base.agda
--- a/test/Base.agda
+++ b/test/Base.agda
@@ -1,4 +1,5 @@
 {-# OPTIONS --experimental-irrelevance #-}
+{-# OPTIONS --sized-types #-}
 
 open import Agda.Primitive
   public using (lzero; lsuc)
diff --git a/test/Test.agda b/test/Test.agda
--- a/test/Test.agda
+++ b/test/Test.agda
@@ -1,6 +1,7 @@
 --- Sample Sit file
 
 {-# OPTIONS --experimental-irrelevance #-}
+{-# OPTIONS --sized-types #-}
 
 open import Base
 
