gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

idris2Packages.pack: 2025-11-06 -> 2025-12-27 (#474714)

Browse Source
This commit is contained in:
Mathew Polzin
2025-12-28 05:03:13 +00:00
committed by GitHub
parent f0a18438e2 f0324a4ff6
commit 3ab5eb4305
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/compilers/idris2/pack.nix
+3 -3
View File
@@ -169,12 +169,12 @@ let
packPkg = buildIdris {
ipkgName = "pack";
version = "2025-11-06";
version = "2025-12-27";
src = fetchFromGitHub {
owner = "stefan-hoeck";
repo = "idris2-pack";
rev = "37787fa16550ef761d3242bf8ccb8ab672d9f2d1";
hash = "sha256-pvunaZSXj5Ee0utBFZfagxRKFuoSBxeU0IN7VTc56rY=";
rev = "cd512a0bf61a6effacc24060bb04106a849df0fe";
hash = "sha256-309k3ALAnCno8C09Fy7zz/oiSCzKI2ZbH5WFn6QIwF0=";
};
idrisLibraries = [
idris2Api