Merge branch 'main' into joerg-ci

This commit is contained in:
mergify[bot] 2023-06-20 04:19:05 +00:00 committed by GitHub
commit e130ae3215
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -22,11 +22,11 @@
}, },
"nixpkgs": { "nixpkgs": {
"locked": { "locked": {
"lastModified": 1686819257, "lastModified": 1687136808,
"narHash": "sha256-RYrWGRd7XfaZDYy8lnrHQjSky+OaChI9UOMLmGkUgmY=", "narHash": "sha256-A3lphGpoCleIr6aoABaP/VkaEArh6/Q2U7Ox18UAJEA=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "66e3d3b8d9cf3ebf0d2326b8267f71fe38e7f1b8", "rev": "0d1c0755a8bce318ae64b95cdbd28377aa2edf29",
"type": "github" "type": "github"
}, },
"original": { "original": {