diff --git a/pkgs/development/libraries/agda/agda2hs-base/default.nix b/pkgs/development/libraries/agda/agda2hs-base/default.nix
new file mode 100644
index 000000000000..97a3b6de4809
--- /dev/null
+++ b/pkgs/development/libraries/agda/agda2hs-base/default.nix
@@ -0,0 +1,25 @@
+{
+  lib,
+  mkDerivation,
+  haskellPackages,
+}:
+
+mkDerivation {
+  pname = "agda2hs-base";
+
+  inherit (haskellPackages.agda2hs) src version;
+
+  sourceRoot = "source/lib/base";
+
+  libraryFile = "base.agda-lib";
+
+  meta = with lib; {
+    homepage = "https://github.com/agda/agda2hs";
+    description = "Standard library for compiling Agda code to readable Haskell";
+    license = lib.licenses.mit;
+    platforms = lib.platforms.unix;
+    maintainers = with maintainers; [
+      wrvsrx
+    ];
+  };
+}
diff --git a/pkgs/top-level/agda-packages.nix b/pkgs/top-level/agda-packages.nix
index 1289445a5872..8eb08599afa9 100644
--- a/pkgs/top-level/agda-packages.nix
+++ b/pkgs/top-level/agda-packages.nix
@@ -36,6 +36,8 @@ let
 
       agda-categories = callPackage ../development/libraries/agda/agda-categories { };
 
+      agda2hs-base = callPackage ../development/libraries/agda/agda2hs-base { };
+
       cubical = callPackage ../development/libraries/agda/cubical { };
 
       cubical-mini = callPackage ../development/libraries/agda/cubical-mini { };