nix-versions 'leanify@^\d+-12-\d+$' --all