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/83ce549d318825c4b5637b8630b447f7ddd5df3c?narHash=sha256-FGCYpADC63sEFZV7aDmZduFu/2lJXHKHJ4Q6p3JjH/o%3D' (2024-04-12)
  → 'github:agda/agda2hs/80734767d3c1f73037e3d6246d3d2879b65e6801?narHash=sha256-tFhF8TzmoXeO655ruVhI8DZC4e3r0NtRnZuKvwZ7eFI%3D' (2024-09-24)
• 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 'nixpkgs':
    'github:NixOS/nixpkgs/9b1984ce3648bf9479a67820876d72700c3faa4f?narHash=sha256-9dFqku75mJxShvJRUz1malF9ogscavI5YoLXLW/7zDw%3D' (2024-03-27)
  → 'github:NixOS/nixpkgs/dcfdb366661e4ac4b4d209fe0a412000deb9f61f?narHash=sha256-8SU2mUCu04YWoBbCjhXsC0bPG0d5IrNAdGLdSbt9pkA%3D' (2024-09-24)
  • Loading branch information
@github-actions @jespercockx
github-actions[bot] authored and jespercockx committed Sep 24, 2024
1 parent c0a1f41 commit b349dfe
Showing 1 changed file with 9 additions and 9 deletions.
18 changes: 9 additions & 9 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 b349dfe

Please sign in to comment.