From ab10b4da90cb0c5d3a66eccd5704dc26fad6e360 Mon Sep 17 00:00:00 2001 From: MithicSpirit Date: Sun, 9 Nov 2025 15:28:35 -0500 Subject: [PATCH] idris2Packages.pack: 2024-02-07 -> 2025-11-06 Now that the compiler is updated, we can also update pack. This introduces several dependency changes, and a more scaleable solution for handling these will be necessary in the future. --- pkgs/development/compilers/idris2/pack.nix | 168 +++++++++++++++++++-- 1 file changed, 153 insertions(+), 15 deletions(-) diff --git a/pkgs/development/compilers/idris2/pack.nix b/pkgs/development/compilers/idris2/pack.nix index 5ceb285f4b5b..5f38ee28fe51 100644 --- a/pkgs/development/compilers/idris2/pack.nix +++ b/pkgs/development/compilers/idris2/pack.nix @@ -11,41 +11,176 @@ }: let inherit (idris2Packages) idris2Api buildIdris; - toml = buildIdris { - ipkgName = "toml"; - version = "2022-05-05"; + + elab-util = buildIdris { + ipkgName = "elab-util"; + version = "2025-08-14"; src = fetchFromGitHub { - owner = "cuddlefishie"; - repo = "toml-idr"; - rev = "b4f5a4bd874fa32f20d02311a62a1910dc48123f"; - hash = "sha256-+bqfCE6m0aJ+S65urT+zQLuZUtUkC1qcuSsefML/fAE="; + owner = "stefan-hoeck"; + repo = "idris2-elab-util"; + rev = "6786ac7ef9931b1c8321a83e007f36a66e139e86"; + hash = "sha256-qInoAE28tEJIP8/R0Yjgn/+DoIDzI3GU8BAyWaIrrJE="; }; idrisLibraries = [ ]; }; + filepath = buildIdris { ipkgName = "filepath"; - version = "2023-12-04"; + version = "2024-10-06"; src = fetchFromGitHub { owner = "stefan-hoeck"; repo = "idris2-filepath"; - rev = "eac02d51b631633f32330c788bcebeb24221fa09"; - hash = "sha256-noylxQvT2h50H0xmAiwe/cI6vz5gkbOhSD7mXuhJGfU="; + rev = "0441eaee9ff1d921fc3f4619c2a8d542588c0e99"; + hash = "sha256-HiaT1Ggbzm7aAEMnCobhhavdheKbYyMA5D9BO0cdG7Y="; }; idrisLibraries = [ ]; }; + + getopts = buildIdris { + ipkgName = "getopts"; + version = "2023-10-28"; + src = fetchFromGitHub { + owner = "idris-community"; + repo = "idris2-getopts"; + rev = "0d41b98f83f3707deb0ffbc595ef36b7d9cb9eab"; + hash = "sha256-CthWByg4uFic0ktri1AuFqkHtyRzIUrreCTegQgdpVo="; + }; + idrisLibraries = [ ]; + }; + + algebra = buildIdris { + ipkgName = "algebra"; + version = "2024-04-05"; + src = fetchFromGitHub { + owner = "stefan-hoeck"; + repo = "idris2-algebra"; + rev = "829f44b7fd961e3f0a7ad9174b395f97ebc33336"; + hash = "sha256-etsWqF07j/XBgfnlaA8pyF06BeoXqg7iViG0o09s4Zc="; + }; + idrisLibraries = [ ]; + }; + + ref1 = buildIdris { + ipkgName = "ref1"; + version = "2025-10-30"; + src = fetchFromGitHub { + owner = "stefan-hoeck"; + repo = "idris2-ref1"; + rev = "ef6d4265deaa6a4f1b5228932102847a4e54e4d2"; + hash = "sha256-NwA6KezZFdF/ZGTOf3Z1zDjsGiy2hgYinGPeeofhZfw="; + }; + idrisLibraries = [ ]; + }; + + array = buildIdris { + ipkgName = "array"; + version = "2025-10-30"; + src = fetchFromGitHub { + owner = "stefan-hoeck"; + repo = "idris2-array"; + rev = "cecbd1dd3bae94669a2ed3689ee91ce1616cc34f"; + hash = "sha256-fRhIzkvL7n7wyXNQE3LHalexqYmTt6RVPoVEOqTb7d4="; + }; + idrisLibraries = [ + algebra + ref1 + ]; + }; + + bytestring = buildIdris { + ipkgName = "bytestring"; + version = "2025-10-02"; + src = fetchFromGitHub { + owner = "stefan-hoeck"; + repo = "idris2-bytestring"; + rev = "082c5114b4016425c9957e955e22fcb0b194ada4"; + hash = "sha256-KuHa1pDfsR4BmBiaw7k6ghZMf2/b+5AQc5I+NuQqbyw="; + }; + idrisLibraries = [ + algebra + array + ]; + }; + + refined = buildIdris { + ipkgName = "refined"; + version = "2024-04-05"; + src = fetchFromGitHub { + owner = "stefan-hoeck"; + repo = "idris2-refined"; + rev = "c585013c33ad5398c91beed71fec61a5b721a8da"; + hash = "sha256-9YQjVpJ5McpgjJx6hXCaXMKyEAFCnynw4ahHdY3Kz8Y="; + }; + idrisLibraries = [ + elab-util + algebra + ]; + }; + + ilex-core = buildIdris { + ipkgName = "core/ilex-core"; + version = "2025-10-31"; + src = fetchFromGitHub { + owner = "stefan-hoeck"; + repo = "idris2-ilex"; + rev = "c2d5a219c701a8f694aa95e8d34c7a58d58e5795"; + hash = "sha256-EseTOCNr0EuYqrjEd2SLqSz5ONOO3hRYghrHul0ccPA="; + }; + idrisLibraries = [ + elab-util + bytestring + ]; + }; + + ilex = buildIdris { + ipkgName = "ilex"; + version = "2025-10-31"; + src = fetchFromGitHub { + owner = "stefan-hoeck"; + repo = "idris2-ilex"; + rev = "c2d5a219c701a8f694aa95e8d34c7a58d58e5795"; + hash = "sha256-EseTOCNr0EuYqrjEd2SLqSz5ONOO3hRYghrHul0ccPA="; + }; + idrisLibraries = [ + elab-util + algebra + array + bytestring + ilex-core + refined + ]; + }; + + ilex-toml = buildIdris { + ipkgName = "toml/ilex-toml"; + version = "2025-10-31"; + src = fetchFromGitHub { + owner = "stefan-hoeck"; + repo = "idris2-ilex"; + rev = "c2d5a219c701a8f694aa95e8d34c7a58d58e5795"; + hash = "sha256-EseTOCNr0EuYqrjEd2SLqSz5ONOO3hRYghrHul0ccPA="; + }; + idrisLibraries = [ + ilex + refined + ]; + }; + packPkg = buildIdris { ipkgName = "pack"; - version = "2024-02-07"; + version = "2025-11-06"; src = fetchFromGitHub { owner = "stefan-hoeck"; repo = "idris2-pack"; - rev = "305123401a28a57b02f750c589c35af628b2a5eb"; - hash = "sha256-IPAkwe6fEYWT3mpyKKkUPU0qFJX9gGIM1f7OeNWyB9w="; + rev = "37787fa16550ef761d3242bf8ccb8ab672d9f2d1"; + hash = "sha256-pvunaZSXj5Ee0utBFZfagxRKFuoSBxeU0IN7VTc56rY="; }; idrisLibraries = [ idris2Api - toml + elab-util filepath + getopts + ilex-toml ]; nativeBuildInputs = [ makeBinaryWrapper ]; @@ -76,7 +211,10 @@ let mainProgram = "pack"; homepage = "https://github.com/stefan-hoeck/idris2-pack"; license = lib.licenses.bsd3; - maintainers = with lib.maintainers; [ mattpolzin ]; + maintainers = with lib.maintainers; [ + mattpolzin + mithicspirit + ]; inherit (idris2Packages.idris2.meta) platforms; }; };