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-src':
    'github:agda/agda2hs/04f48a2bd7442699b7a15fd0e9a771c5a60ba67e' (2024-01-19)
  → 'github:agda/agda2hs/48aacea0b9adc548c47fd46b9addd6b84e3a5272' (2024-01-24)
• Updated input 'scope-src':
    'github:jespercockx/scope/e8cf47b70b3fed58bf3a925b88f6e0f9e0a25b3a' (2024-01-17)
  → 'github:jespercockx/scope/1feca23446eccfde04506d51719b587150bc5c3d' (2024-01-31)
  • Loading branch information
@github-actions @jespercockx
github-actions[bot] authored and jespercockx committed Jan 31, 2024
1 parent a1a0bf2 commit 7102b5e
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 7102b5e

Please sign in to comment.