diff --git a/manifest.dhall b/manifest.dhall
index 763716c54de10fcee308da57db1acfa260f8eb97..e467788c0025843449c7f36184b0b33f38e0048d 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -805,6 +805,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "test-framework-hunit" "0.3.0.2"
     , callHackage "test-framework-th" "0.2.4"
     , callHackage "test-framework-quickcheck2" "0.3.0.5"
+    , callHackage "test-framework-smallcheck" "0.2"
     , callHackage "texmath" "0.12.5.4"
     , callHackage "text-conversions" "0.3.1.1"
     , callHackage "text-display" "0.0.3.0"
diff --git a/overlay.nix b/overlay.nix
index 748d0be346901339c1ae51510473485024cf1cc0..77ba6e2d33170b2c3141996fb3fbb721380f0f87 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -1259,6 +1259,8 @@ self: with pkgs.haskell.lib; {
 
   test-framework-quickcheck2 = self.callPackage (./pkgs/test-framework-quickcheck2.nix) { };
 
+  test-framework-smallcheck = self.callPackage (./pkgs/test-framework-smallcheck.nix) { };
+
   test-framework-th = self.callPackage (./pkgs/test-framework-th.nix) { };
 
   texmath = self.callPackage (./pkgs/texmath.nix) { };
diff --git a/pkgs/test-framework-smallcheck.nix b/pkgs/test-framework-smallcheck.nix
new file mode 100644
index 0000000000000000000000000000000000000000..9a8635eb06fcd9640f4f83b48aea9487e19c6f21
--- /dev/null
+++ b/pkgs/test-framework-smallcheck.nix
@@ -0,0 +1,32 @@
+{ mkDerivation
+, base
+, lib
+, smallcheck
+, test-framework
+, transformers
+}:
+mkDerivation {
+  pname = "test-framework-smallcheck";
+  version = "0.2";
+  sha256 = "6081c4f35967b0d0cb92ac09a915fa9e2da01c401266b20ce18793fbc2bceff6";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [
+    base
+    smallcheck
+    test-framework
+    transformers
+  ];
+  enableLibraryProfiling = false;
+  enableExecutableProfiling = false;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "https://github.com/feuerbach/smallcheck";
+  description = "Support for SmallCheck tests in test-framework";
+  license = lib.licenses.bsd3;
+  broken = false;
+}