Bump version of LH to 0.9.6.3 and update the changelog

Author: facundominguez

CHANGES.md

@@ -2,7 +2,9 @@
 
 ## Next
 
--
+## 0.9.6.3 (2024-01-29)
+
+- Set support for GHC 9.6.3
 
 ## 0.9.4.7.0
 

liquidhaskell-boot/liquidhaskell-boot.cabal

@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               liquidhaskell-boot
-version:            0.9.4.7.0
+version:            0.9.6.3
 synopsis:           Liquid Types for Haskell
 description:        This package provides a plugin to verify Haskell programs.
                     But most likely you should be using the [liquidhaskell package](https://hackage.haskell.org/package/liquidhaskell)
@@ -13,7 +13,7 @@ maintainer:         Ranjit Jhala <[email protected]>
 category:           Language
 homepage:           https://github.com/ucsd-progsys/liquidhaskell
 build-type:         Simple
-tested-with:        GHC == 9.4.7
+tested-with:        GHC == 9.6.3
 
 data-files:         include/CoreToLogic.lg
                     syntax/liquid.css
@@ -143,7 +143,7 @@ library
                     , gitrev
                     , hashable             >= 1.3 && < 1.5
                     , hscolour             >= 1.22
-                    , liquid-fixpoint      == 0.9.4.7
+                    , liquid-fixpoint      == 0.9.6.3
                     , mtl                  >= 2.1
                     , optparse-applicative < 0.19
                     , githash

liquidhaskell.cabal

@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               liquidhaskell
-version:            0.9.4.7.0
+version:            0.9.6.3
 synopsis:           Liquid Types for Haskell
 description:        Liquid Types for Haskell.
 license:            BSD-3-Clause
@@ -11,7 +11,7 @@ maintainer:         Ranjit Jhala <[email protected]>
 category:           Language
 homepage:           https://github.com/ucsd-progsys/liquidhaskell
 build-type:         Custom
-tested-with:        GHC == 9.4.7
+tested-with:        GHC == 9.6.3
 extra-doc-files: CHANGES.md
                  README.md
 
@@ -78,7 +78,7 @@ library
   hs-source-dirs:     src
 
   build-depends:      base                 >= 4.11.1.0 && < 5,
-                      liquidhaskell-boot   == 0.9.4.7.0,
+                      liquidhaskell-boot   == 0.9.6.3,
                       bytestring           == 0.11.5.2,
                       containers           == 0.6.7,
                       ghc-bignum,