idris2Packages.pack: init at 2024-02-07

pkgs/development/compilers/idris2/default.nix

@@ -4,5 +4,7 @@
   idris2Api = callPackage ./idris2-api.nix { };
   idris2Lsp = callPackage ./idris2-lsp.nix { };
 
+  pack = callPackage ./pack.nix { };
+
   buildIdris = callPackage ./build-idris.nix { };
 }

pkgs/development/compilers/idris2/pack.nix

@@ -0,0 +1,55 @@
+{
+  lib,
+  idris2Packages,
+  fetchFromGitHub,
+}:
+let
+  inherit (idris2Packages) idris2Api buildIdris;
+  toml = buildIdris {
+    ipkgName = "toml";
+    version = "2022-05-05";
+    src = fetchFromGitHub {
+      owner = "cuddlefishie";
+      repo = "toml-idr";
+      rev = "b4f5a4bd874fa32f20d02311a62a1910dc48123f";
+      hash = "sha256-+bqfCE6m0aJ+S65urT+zQLuZUtUkC1qcuSsefML/fAE=";
+    };
+    idrisLibraries = [ ];
+  };
+  filepath = buildIdris {
+    ipkgName = "filepath";
+    version = "2023-12-04";
+    src = fetchFromGitHub {
+      owner = "stefan-hoeck";
+      repo = "idris2-filepath";
+      rev = "eac02d51b631633f32330c788bcebeb24221fa09";
+      hash = "sha256-noylxQvT2h50H0xmAiwe/cI6vz5gkbOhSD7mXuhJGfU=";
+    };
+    idrisLibraries = [ ];
+  };
+  packPkg = buildIdris {
+    ipkgName = "pack";
+    version = "2024-02-07";
+    src = fetchFromGitHub {
+      owner = "stefan-hoeck";
+      repo = "idris2-pack";
+      rev = "305123401a28a57b02f750c589c35af628b2a5eb";
+      hash = "sha256-IPAkwe6fEYWT3mpyKKkUPU0qFJX9gGIM1f7OeNWyB9w=";
+    };
+    idrisLibraries = [
+      idris2Api
+      toml
+      filepath
+    ];
+
+    meta = {
+      description = "An Idris2 Package Manager with Curated Package Collections";
+      mainProgram = "pack";
+      homepage = "https://github.com/stefan-hoeck/idris2-pack";
+      license = lib.licenses.bsd3;
+      maintainers = with lib.maintainers; [ mattpolzin ];
+      inherit (idris2Packages.idris2.meta) platforms;
+    };
+  };
+in
+packPkg.executable