flake.lock: Update

Flake lock file updates:

• Updated input 'agda2hs':
    'github:agda/agda2hs/03c9aae0e0b868f4cc1d978d6413d76a084f62e3?narHash=sha256-o0YelZ%2BByve04cOAsdgX%2BlDsJxVEj81PC1B37RkHFhc%3D' (2024-09-07)
  → 'github:agda/agda2hs/80734767d3c1f73037e3d6246d3d2879b65e6801?narHash=sha256-tFhF8TzmoXeO655ruVhI8DZC4e3r0NtRnZuKvwZ7eFI%3D' (2024-09-24)
• Updated input 'agda2hs/flake-utils':
    'github:numtide/flake-utils/b1d9ab70662946ef0850d488da1c9019f3a9752a?narHash=sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ%3D' (2024-03-11)
  → 'github:numtide/flake-utils/c1dfcf08411b08f6b8615f7d8971a2bfa81d5e8a?narHash=sha256-X6rJYSESBVr3hBoH0WbKE5KvhPU5bloyZ2L4K60/fPQ%3D' (2024-09-17)
• Updated input 'flake-utils':
    'github:numtide/flake-utils/b1d9ab70662946ef0850d488da1c9019f3a9752a?narHash=sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ%3D' (2024-03-11)
  → 'github:numtide/flake-utils/c1dfcf08411b08f6b8615f7d8971a2bfa81d5e8a?narHash=sha256-X6rJYSESBVr3hBoH0WbKE5KvhPU5bloyZ2L4K60/fPQ%3D' (2024-09-17)
• Updated input 'scope':
    'github:jespercockx/scope/c0a1f412d4a00d4952eb3dc846716a7d0128a49b?narHash=sha256-AeD/60ZtC7WI/lGsOeptRu17Hp9bK8pljPDU%2B0viXUk%3D' (2024-07-27)
  → 'github:jespercockx/scope/c0542fae948ee3cbb98c2f880629ad70c225f79d?narHash=sha256-qN5pBs5qNnnb6XbkmQepF3GgugjcyNti6he/9XZJZ9M%3D' (2024-09-24)
• Updated input 'scope/flake-utils':
    'github:numtide/flake-utils/b1d9ab70662946ef0850d488da1c9019f3a9752a?narHash=sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ%3D' (2024-03-11)
  → 'github:numtide/flake-utils/c1dfcf08411b08f6b8615f7d8971a2bfa81d5e8a?narHash=sha256-X6rJYSESBVr3hBoH0WbKE5KvhPU5bloyZ2L4K60/fPQ%3D' (2024-09-17)