diff --git a/manifest.dhall b/manifest.dhall
index e467788c0025843449c7f36184b0b33f38e0048d..5180d0da5a4ed90ad05b1fbcf574f09c78c3157a 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -631,6 +631,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "proteaaudio-sdl" "0.9.2"
     , callHackage "psqueues" "0.2.7.3"
     , callHackage "pureMD5" "2.1.4"
+    , callHackage "quickcheck-assertions" "0.3.0"
     , callHackage "quickcheck-classes-base" "0.6.2.0"
     , callHackage "quickcheck-classes" "0.6.5.0"
     , callHackage "quickcheck-dynamic" "2.0.0"
diff --git a/overlay.nix b/overlay.nix
index 77ba6e2d33170b2c3141996fb3fbb721380f0f87..ee629920c3cf6ac3c2c03d6abe00174aa6e320a1 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -987,6 +987,8 @@ self: with pkgs.haskell.lib; {
 
   pureMD5 = self.callPackage (./pkgs/pureMD5.nix) { };
 
+  quickcheck-assertions = self.callPackage (./pkgs/quickcheck-assertions.nix) { };
+
   quickcheck-classes = self.callPackage (./pkgs/quickcheck-classes.nix) { };
 
   quickcheck-classes-base = self.callPackage (./pkgs/quickcheck-classes-base.nix) { };
diff --git a/pkgs/quickcheck-assertions.nix b/pkgs/quickcheck-assertions.nix
new file mode 100644
index 0000000000000000000000000000000000000000..2378df34b49f155215ad86b3bb0178c7b7b21fce
--- /dev/null
+++ b/pkgs/quickcheck-assertions.nix
@@ -0,0 +1,29 @@
+{ mkDerivation
+, base
+, hspec
+, ieee754
+, lib
+, pretty-show
+, QuickCheck
+}:
+mkDerivation {
+  pname = "quickcheck-assertions";
+  version = "0.3.0";
+  sha256 = "9b0328a788dcac0824a7d7496ab403eef04170551255c9e58fb6e2e319a9cacf";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [ base ieee754 pretty-show QuickCheck ];
+  testHaskellDepends = [ base hspec ieee754 QuickCheck ];
+  enableLibraryProfiling = false;
+  enableExecutableProfiling = false;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "https://github.com/s9gf4ult/quickcheck-assertions";
+  description = "HUnit like assertions for QuickCheck";
+  license = lib.licenses.lgpl3Only;
+  broken = false;
+}