nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-30 16:10:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
haskell-updates
nixpkgs/pkgs/build-support/agda
History
Naïm Camille Favier 4ef4be0cd1 agdaPackages: enable parallel builds on supported versions 
Both Mikan and the upcoming Agda 2.9.0 release support parallel builds with `-j`.
2026-10-23 16:09:59 +02:00
..
default.nix
agdaPackages: enable parallel builds on supported versions
2026-10-23 16:09:59 +02:00
lib.nix
agda: make infrastructure aware of Mikan
2026-10-11 13:56:25 +02:00