Compare commits

...
A pull request between these branches already exists: DGNum/infrastructure#500

WIP: nixos-25.05 #500