agdaPackages.agda-prelude: unstable-2023-10-04 -> unstable-2024-08-22#336504

ncfavier merged 1 commit intoNixOS:haskell-updatesNixOS/nixpkgs:haskell-updatesfrom

ncfavier:agda-preludencfavier/nixpkgs:agda-preludeCopy head branch name to clipboard