diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8524c56..895abd8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,7 +3,7 @@
 All notable changes to this project (as seen by library users) will be documented in this file.
 The CHANGELOG is available on [Github](https://github.com/luc-tielen/souffle-haskell.git/CHANGELOG.md).
 
-## [4.0.0] - Unreleased
+## [4.0.0] - 2024-01-03
 
 ### Added
 
diff --git a/package.yaml b/package.yaml
index c45e352..3469c1e 100644
--- a/package.yaml
+++ b/package.yaml
@@ -9,10 +9,11 @@ maintainer: luc.tielen@gmail.com
 copyright: 2022 Luc Tielen
 category: Logic Programming, Foreign Binding, Bindings
 github: luc-tielen/souffle-haskell
-extra-source-files:
+extra-doc-files:
   - README.md
   - CHANGELOG.md
   - LICENSE
+extra-source-files:
   - cbits/**/*.h
   - cbits/*.cpp
   - cbits/souffle/LICENSE
@@ -159,7 +160,7 @@ benchmarks:
         extra-libraries: c++
     dependencies:
       - souffle-haskell
-      - criterion
+      - criterion == 1.*
       - deepseq >= 1.4.4 && < 2
     cxx-options:
       - -D__EMBEDDED_SOUFFLE__
diff --git a/souffle-haskell.cabal b/souffle-haskell.cabal
index 7ca42a3..ed8a7e3 100644
--- a/souffle-haskell.cabal
+++ b/souffle-haskell.cabal
@@ -18,9 +18,6 @@ license:        MIT
 license-file:   LICENSE
 build-type:     Simple
 extra-source-files:
-    README.md
-    CHANGELOG.md
-    LICENSE
     cbits/souffle.h
     cbits/souffle/CompiledSouffle.h
     cbits/souffle/datastructure/Brie.h
@@ -69,6 +66,10 @@ extra-source-files:
     cbits/souffle/utility/Types.h
     cbits/souffle.cpp
     cbits/souffle/LICENSE
+extra-doc-files:
+    README.md
+    CHANGELOG.md
+    LICENSE
 
 source-repository head
   type: git
@@ -334,7 +335,7 @@ benchmark souffle-haskell-benchmarks
       benchmarks/fixtures/bench.cpp
   build-depends:
       base >=4.12 && <5
-    , criterion
+    , criterion ==1.*
     , deepseq >=1.4.4 && <2
     , souffle-haskell
     , text >=2.0.2 && <3