Description of changes

When #335932 is merged, our current version (2.1) of Agda's standard library will stop working as #335932 bumps Agda from the old 2.6.4.3 to the new 2.7.0, with which stdlib 2.1 is not compatible.

As a remedy, this pull request bumps Agda's standard library from 2.1 to 2.2.1-rc2.

According to an announcement on the Agda mailing list, the official 2.2.1 is likely to be released in about a week. But as we strive for the master branch to always contain a working Agda environment (including the standard library and a couple of others), I believe that we should bump to 2.2.1-rc2 now instead of shipping a broken version in the window between the marge of haskell-updates and the release of 2.2.1.

This pull request also marks agda-prelude, a different library, as broken, as it is currently not compatible with Agda 2.7.0.

Together with the companion pull request #336027, this pull request ensures that Agda + libraries will work after the merge of #335932, and supersedes the draft pull request #335824. You can test this pull request with:

$ nix-shell -I nixpkgs=https://github.com/iblech/nixpkgs/archive/patch-agda-stdlib-2.1.1rc2.zip -p "agda.withPackages (p: [ p.standard-library p.functional-linear-algebra p.agda-categories p.generics p.cubical ])

Things done

• Built on platform(s)
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual)
  • sandbox = relaxed
  • sandbox = true
• Tested, as applicable:
  • NixOS test(s) (look inside nixos/tests)
  • and/or package tests
  • or, for functions and "core" functionality, tests in lib/tests or pkgs/test
  • made sure NixOS tests are linked to the relevant packages
• Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
• Tested basic functionality of all binary files (usually in ./result/bin/)
• 24.11 Release Notes (or backporting 23.11 and 24.05 Release notes)
  • (Package updates) Added a release notes entry if the change is major or breaking
  • (Module updates) Added a release notes entry if the change is significant
  • (Module addition) Added a release notes entry if adding a new NixOS module
• Fits CONTRIBUTING.md.

Add a 👍 reaction to pull requests you find important.