MithicSpirit ab10b4da90 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.

2025-11-09 15:30:14 -05:00

..

build-idris.nix

…

default.nix

…

idris2-api.nix

…

idris2-lsp.nix

…

pack.nix

idris2Packages.pack: 2024-02-07 -> 2025-11-06

2025-11-09 15:30:14 -05:00