Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: agdaPackages.cubical-mini 0.5-unstable-2025-06-13 -> 0.5 https://github.com/cmcmA20/cubical-mini/releases
attrpath: agdaPackages.cubical-mini
Checking auto update branch...
No auto update branch exists
0.5 is not newer than 0.5-unstable-2025-06-13 according to Nix; versionComparison: -1