Mathew Polzin
f0324a4ff6
idris2Packages.pack: 2025-11-06 -> 2025-12-27
...
Update pack to get a fix for an issue that affected Nix installs. The
issue is described by- and fixed by the following PR against the pack
project: https://github.com/stefan-hoeck/idris2-pack/pull/372
2025-12-27 21:38:30 -06:00
Mathew Polzin
8f88d57525
idris2Packages.pack: add make runtime dependency
2025-12-24 10:56:55 -06:00
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
mivorasu
ee0866bddd
treewide: conform descriptions to the standards
2025-07-28 04:39:00 +00:00
Wolfgang Walther
5a0711127c
treewide: run nixfmt 1.0.0
2025-07-24 13:55:40 +02:00
Mathew Polzin
f1beac4cd1
idris2Packages.pack: fix runtime building of Idris2 versions
2024-12-06 17:49:20 -06:00
Mathew Polzin
8ed82c62be
idris2Packages.pack: init at 2024-02-07
2024-09-24 09:06:11 -05:00
