Nix flake: pin agda version to 2.8.0#1291

flgrubm wants to merge 1 commit intoagda:masteragda/cubical:masterfrom

flgrubm:nix-flake-version-fixflgrubm/cubical:nix-flake-version-fixCopy head branch name to clipboard