flake.lock: Update

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/bcb8b3623229dc58cf080a3cf83aa9b372a95e79' (2023-05-22)
  → 'github:typelevel/typelevel-nix/7439a681d52a7e7ed344b6301e6f8d5bb4ec582a' (2023-07-31)
• Updated input 'typelevel-nix/devshell':
    'github:numtide/devshell/5143ea68647c4cf5227e4ad2100db6671fc4c369' (2023-05-09)
  → 'github:numtide/devshell/f9238ec3d75cefbb2b42a44948c4e8fb1ae9a205' (2023-07-03)
• Updated input 'typelevel-nix/flake-utils':
    'github:numtide/flake-utils/cfacdce06f30d2b68473a46042957675eebb3401' (2023-04-11)
  → 'github:numtide/flake-utils/919d646de7be200f3bf08cb76ae1f09402b6f9b4' (2023-07-11)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/85340996ba67cc02f01ba324e18b1306892ed6f5' (2023-05-21)
  → 'github:nixos/nixpkgs/3acb5c4264c490e7714d503c7166a3fde0c51324' (2023-07-30)