nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-09-01 21:24:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
python-updates
nixpkgs/pkgs/development/compilers/idris2/pack.nix
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

5.3 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink