[NO-ISSUE] Switch to GHC-9.4.5

.github/workflows/backend.yml

@@ -80,7 +80,7 @@ jobs:
       uses: actions/cache@v3.3.1
       with:
         path: ${{ steps.setup-haskell.outputs.cabal-store }}
-        key: ghc-${{ matrix.ghc }}-${{ hashFiles("cabal.project.freeze") }}
+        key: ghc-${{ matrix.ghc }}-${{ hashFiles('cabal.project.freeze') }}
 
     - name: Build
       run: |

CONTRIBUTING.md

@@ -17,6 +17,8 @@ The following Haskell command-line tools will have to be installed:
 * `ghcid`: To automatically reload the Haskell code base upon source changes
 * `ghc-tags`: To generate ctags or etags for the project
 
+You will need the [Soufflé datalog engine v2.3](https://github.com/souffle-lang/souffle/releases/tag/2.3)
+
 (Some of those packages have incompatible dependencies, so don't try to install them all at once with cabal)
 
 * `yarn`: The tool that handles the JavaScript code bases

cabal.project

@@ -1,9 +1,6 @@
 packages: ./
 
-repository hackage.haskell.org
-  url: http://hackage.haskell.org/
-
-with-compiler: ghc-9.4.4
+with-compiler: ghc-9.4.5
 
 tests: True