you need to change the version = "..." to unstable and the date of the commit

follow the title format and commit format read https://github.com/NixOS/nixpkgs/blob/master/CONTRIBUTING.md

i made this issue so maybe we will get a release agda/cubical#583

We usually wait for a release before updating agda libraries but Its probably preferable to at least have something that works

I changed the version to unstable.

Discard the deleted tested package And returned all-packages.nix

Use git rebase to fixup the commits into the first commit and reword the first commit
https://git-rebase.io/#fixup

Discard the deleted tested package And returned all-packages.nix

Use git rebase to fixup the commits into the first commit and reword the first commit
https://git-rebase.io/#fixup

I have already done the fixup. Look if everything is right.

reword 30a0c213eb4 added newer version of cubical Agda
fixup 6bc702b4fa9 added patch to cubical agda
fixup a2f61df7776 agdaPackages.cubical: 0.2 -> unstable
fixup 82034c77c7f agdaPackages.cubical: 0.2 -> unstable
drop cb1e38b389e deleted tested package
drop 548aedd729f returned all-packages.nix

in the next dialog

agdaPackages.cubical: 0.2 -> unstable

it would have been like this but this pr seems to be not needed now #131226

Thank you for the pr though!
if you'd like to commit the other changes then feel free to open a another pr

you should do your work in a separate branch instead of master
if you'd like to update your fork run

# if not done before 
# git remote add upstream https://github.com/NixOS/nixpkgs.git

git fetch upstream
git checkout master
git rebase upstream/master
git push

new pull request:
#131280