Closed K900 closed 8 months ago
Now included in nixpkgs proper.
Discussed with @nbp, decided to merge after 23.05 EOL.
23.05 is EOL now, we should be good to go.
Now included in nixpkgs proper.