diff --git a/manifest.dhall b/manifest.dhall
index fb4cd69f20e1a250f24878b4d245b220fe4fea83..55797128c326c32305e05cdb4a27b867168a786a 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -590,6 +590,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "tasty-lua" "1.0.2"
     , callHackage "tasty-hslua" "1.0.2"
     , callHackage "tasty-golden" "2.3.5"
+    , callHackage "tasty-smallcheck" "0.8.2"
     , callHackage "tasty-quickcheck" "0.10.2"
     , callHackage "tasty-wai" "0.1.2.0"
     , callHackage "test-framework" "0.8.2.0"
diff --git a/overlay.nix b/overlay.nix
index c8042ed26c0b7ef3335923600fea37c423b33f33..46be0f858642ec6ba841c934ae9591adc4f6d33e 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -813,6 +813,8 @@ final: prev: with pkgs.haskell.lib; {
 
   tasty-quickcheck = prev.callPackage (./pkgs/tasty-quickcheck.nix) { };
 
+  tasty-smallcheck = prev.callPackage (./pkgs/tasty-smallcheck.nix) { };
+
   tasty-wai = prev.callPackage (./pkgs/tasty-wai.nix) { };
 
   test-framework = prev.callPackage (./pkgs/test-framework.nix) { };
diff --git a/pkgs/tasty-smallcheck.nix b/pkgs/tasty-smallcheck.nix
new file mode 100644
index 0000000000000000000000000000000000000000..8ad3505851382715ae17077e54afd386fb0c0aa8
--- /dev/null
+++ b/pkgs/tasty-smallcheck.nix
@@ -0,0 +1,36 @@
+{ mkDerivation
+, base
+, lib
+, optparse-applicative
+, smallcheck
+, tagged
+, tasty
+}:
+mkDerivation {
+  pname = "tasty-smallcheck";
+  version = "0.8.2";
+  sha256 = "d5cbd7a2a7100e4afd3aaac01a8fa1b7814fb074d93aeff1b51240b687e54f33";
+  revision = "1";
+  editedCabalFile = "0033ha2w9rzc1rxpzh1dkfdrn256i5lvb41pqbdh2i6kli0v5vmh";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [
+    base
+    optparse-applicative
+    smallcheck
+    tagged
+    tasty
+  ];
+  enableLibraryProfiling = false;
+  enableExecutableProfiling = false;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "https://github.com/feuerbach/tasty";
+  description = "SmallCheck support for the Tasty test framework";
+  license = lib.licenses.mit;
+  broken = false;
+}