agdaPackages.agda2hs: init at 1.3-unstable-2025-07-25 (#447925)

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
+    ];
+  };
+}

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 { };