Skip to content

Commit

Permalink
flake.lock: Update
Browse files Browse the repository at this point in the history 
Flake lock file updates:

• Updated input 'agda2hs':
    'github:agda/agda2hs/600885f9d32e8c8e5aeb4b1bce4fe9553f77726c?narHash=sha256-FGCYpADC63sEFZV7aDmZduFu/2lJXHKHJ4Q6p3JjH/o%3D' (2024-04-12)
  → 'github:agda/agda2hs/03c9aae0e0b868f4cc1d978d6413d76a084f62e3?narHash=sha256-o0YelZ%2BByve04cOAsdgX%2BlDsJxVEj81PC1B37RkHFhc%3D' (2024-09-07)
• Updated input 'scope':
    'github:jespercockx/scope/48dc91d8db5b70850d79f96a6412c62a4377302d?narHash=sha256-mJtBYsjveRMqGHBMeKfqr1NrFo0iLVT51jWOEh89tHE%3D' (2024-04-17)
  → 'github:jespercockx/scope/c0a1f412d4a00d4952eb3dc846716a7d0128a49b?narHash=sha256-AeD/60ZtC7WI/lGsOeptRu17Hp9bK8pljPDU%2B0viXUk%3D' (2024-07-27)
  • Loading branch information
@github-actions @jespercockx
github-actions[bot] authored and jespercockx committed Sep 10, 2024
1 parent b41cf08 commit 31d8b50
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions flake.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit 31d8b50

Please sign in to comment.