News for package agda-stdlib