flake.lock: Update

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/bcb8b3623229dc58cf080a3cf83aa9b372a95e79' (2023-05-22)
  → 'github:typelevel/typelevel-nix/a09e2c0f410955262f4e5a6cec75fc38233fc5ad' (2023-07-03)
• 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/dbabf0ca0c0c4bce6ea5eaf65af5cb694d2082c7' (2023-06-25)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/85340996ba67cc02f01ba324e18b1306892ed6f5' (2023-05-21)
  → 'github:nixos/nixpkgs/cd99c2b3c9f160cd004318e0697f90bbd5960825' (2023-07-01)