Running nixpkgs-update (https://github.com/NixOS/infra/blob/main/non-critical-infra/modules/nixpkgs-update/README.md) 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
There might already be an open PR for this update:
- m17n_db: 1.8.10 -> 1.8.16
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/511249"