From fa0321fbceec81095bffbde1c923da683aaa2093 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 23 May 2022 14:48:53 +0200
Subject: [PATCH] [ci] Update nix commit
---
nix/sources.json | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/nix/sources.json b/nix/sources.json
index 02425a2daaa..bedb63ce514 100644
--- a/nix/sources.json
+++ b/nix/sources.json
@@ -29,10 +29,10 @@
"homepage": "https://github.com/NixOS/nixpkgs",
"owner": "NixOS",
"repo": "nixpkgs",
- "rev": "bc4b9eef3ce3d5a90d8693e8367c9cbfc9fc1e13",
- "sha256": "0mrpsl0554fzk04asz0nmyxf6ny1syd9qzrh37vz85bpq8wi21dx",
+ "rev": "f4dfed73ee886b115a99e5b85fdfbeb683290d83",
+ "sha256": "1scpisl06f9mc31khj0m2q21yvx108bi7l9s0n9aq8f1w4fjprg6",
"type": "tarball",
- "url": "https://github.com/NixOS/nixpkgs/archive/bc4b9eef3ce3d5a90d8693e8367c9cbfc9fc1e13.tar.gz",
+ "url": "https://github.com/NixOS/nixpkgs/archive/f4dfed73ee886b115a99e5b85fdfbeb683290d83.tar.gz",
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
},
"why3": {
--
GitLab