From e137bf077d1be01db2201b8cca374d3664ac1a65 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Thu, 16 Jan 2025 14:04:42 +0100
Subject: [PATCH] Test coq: keep compiling master

---
 .nix/nixpkgs.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.nix/nixpkgs.nix b/.nix/nixpkgs.nix
index ee59ae5..64e1ea3 100644
--- a/.nix/nixpkgs.nix
+++ b/.nix/nixpkgs.nix
@@ -1,4 +1,4 @@
 fetchTarball {
-    url = "https://github.com/NixOS/nixpkgs/archive/f84e2fa942d3098ab31bda444e41061acdf9028c.tar.gz";
-    sha256 = "09v029axqqf8fcgy09qvnbxzpr58343yh7pa8k01m3z82rr4ha5h";
-  }
+         url = "https://github.com/proux01/nixpkgs/archive/0c7de478d3eb1e43459f07a973f057013791d59b.tar.gz";
+         sha256 = "0ziwx8fs898c2z17zzfdkmyw0j1p59l6h8xfiblqzqazsw2q6lwp";
+       }