Update flake.lock

[fpletz]

Automated changes by the update-flake-lock GitHub Action.

Flake lock file updates:

• Updated input 'crane':
    'github:ipetkov/crane/1b8653ad52f37df0ad485860d97bde52642bb345' (2023-08-11)
  → 'github:ipetkov/crane/7809d369710abb17767b624f9e72b500373580bc' (2023-08-12)
• Updated input 'nixpkgs':
    'github:NixOS/nixpkgs/9034b46dc4c7596a87ab837bb8a07ef2d887e8c7' (2023-08-09)
  → 'github:NixOS/nixpkgs/475d5ae2c4cb87b904545bdb547af05681198fcc' (2023-08-20)

Running GitHub Actions on this PR

GitHub Actions will not run workflows on pull requests which are opened by a GitHub Action.

To run GitHub Actions workflows on this PR, run:

git branch -D update_flake_lock_action
git fetch origin
git checkout update_flake_lock_action
git commit --amend --no-edit
git push origin update_flake_lock_action --force