Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: agdaPackages.agdarsec 0.5.0-unstable-2025-08-05 -> 0.5.0 https://github.com/gallais/agdarsec/releases
attrpath: agdaPackages.agdarsec
Checking auto update branch...
No auto update branch exists
0.5.0 is not newer than 0.5.0-unstable-2025-08-05 according to Nix; versionComparison: -1