Nix flake: pin agda version to 2.8.0#1291

Merged

mortberg merged 2 commits intoagda:masterfrom

flgrubm:nix-flake-version-fix

Mar 25, 2026

Commits on Feb 2, 2026

Pin nix flake input `agda` to v2.8.0 (instead of main) and update `flake.lock`
flgrubm
committed

Commits on Mar 24, 2026

Add instructions how to update the agda version pin to release notes (#1291)
flgrubm
committed