flake.lock: Update

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/3f0fd30b886cd9f92ed82ed28e54a7e1547f6388' (2023-06-15)
  → 'github:typelevel/typelevel-nix/7439a681d52a7e7ed344b6301e6f8d5bb4ec582a' (2023-07-31)
• Updated input 'typelevel-nix/devshell':
    'github:numtide/devshell/3e0e60ab37cd0bf7ab59888f5c32499d851edb47' (2023-03-16)
  → 'github:numtide/devshell/f9238ec3d75cefbb2b42a44948c4e8fb1ae9a205' (2023-07-03)
• Removed input 'typelevel-nix/devshell/flake-utils'
• Removed input 'typelevel-nix/devshell/flake-utils/systems'
• Added input 'typelevel-nix/devshell/systems':
    'github:nix-systems/default/da67096a3b9bf56a91d16901293e51ba5b49a27e' (2023-04-09)
• Updated input 'typelevel-nix/flake-utils':
    'github:numtide/flake-utils/a1720a10a6cfe8234c0e93907ffe81be440f4cef' (2023-05-31)
  → 'github:numtide/flake-utils/919d646de7be200f3bf08cb76ae1f09402b6f9b4' (2023-07-11)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/2e56a850786211972d99d2bb39665a9b5a1801d6' (2023-06-04)
  → 'github:nixos/nixpkgs/3acb5c4264c490e7714d503c7166a3fde0c51324' (2023-07-30)