Skip to content

flake.lock: Update#3572

Merged
mpilquist merged 1 commit into
mainfrom
update/flake-lock
Jul 26, 2025
Merged

flake.lock: Update#3572
mpilquist merged 1 commit into
mainfrom
update/flake-lock

Conversation

@typelevel-steward

@typelevel-steward typelevel-steward Bot commented May 28, 2025

Copy link
Copy Markdown
Contributor

Automated changes by the update-flake-lock GitHub Action.

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/562496d5210995535d09198f4b611a943808c393?narHash=sha256-UtRNP78v5Z0dnG65qmXUmkzaSVYtyFuJ4je4e86KpnE%3D' (2025-04-21)
  → 'github:typelevel/typelevel-nix/de2bec8af6abc879ce8544771248936d6e9f81b9?narHash=sha256-QwwgWVXXpeYqRr1vUEniiNR2/kTeGd1/pdEgY8r6eY8%3D' (2025-06-23)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c?narHash=sha256-5RJTdUHDmj12Qsv7XOhuospjAjATNiTMElplWnJE9Hs%3D' (2025-04-17)
  → 'github:nixos/nixpkgs/076e8c6678d8c54204abcb4b1b14c366835a58bb?narHash=sha256-1ovgdmuDYVo5OUC5NzdF%2BV4zx2uT8RtsgZahxidBTyw%3D' (2025-06-20)

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/562496d5210995535d09198f4b611a943808c393?narHash=sha256-UtRNP78v5Z0dnG65qmXUmkzaSVYtyFuJ4je4e86KpnE%3D' (2025-04-21)
  → 'github:typelevel/typelevel-nix/de2bec8af6abc879ce8544771248936d6e9f81b9?narHash=sha256-QwwgWVXXpeYqRr1vUEniiNR2/kTeGd1/pdEgY8r6eY8%3D' (2025-06-23)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c?narHash=sha256-5RJTdUHDmj12Qsv7XOhuospjAjATNiTMElplWnJE9Hs%3D' (2025-04-17)
  → 'github:nixos/nixpkgs/076e8c6678d8c54204abcb4b1b14c366835a58bb?narHash=sha256-1ovgdmuDYVo5OUC5NzdF%2BV4zx2uT8RtsgZahxidBTyw%3D' (2025-06-20)
@mpilquist mpilquist merged commit 6c49785 into main Jul 26, 2025
17 checks passed
@mpilquist mpilquist deleted the update/flake-lock branch July 26, 2025 12:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant