Skip to content

Update flake, remove deprecated option, tidy up #164

Update flake, remove deprecated option, tidy up

Update flake, remove deprecated option, tidy up #164