From 5cd4fd84c8ee7d09c8ec69d46a4f9baea34263e6 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 20 Dec 2024 18:11:55 +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 7ec95f1..5b2ae92 100644
--- a/.nix/nixpkgs.nix
+++ b/.nix/nixpkgs.nix
@@ -1,4 +1,4 @@
 fetchTarball {
-    url = "https://github.com/NixOS/nixpkgs/archive/d337b780d0469c31c8bc756be3ee52240a3c2f4b.tar.gz";
-    sha256 = "0m9lh7024qb3pppsn1hnk9r4ifgiwd7s365fdza145vngd5nb2na";
-  }
+         url = "https://github.com/proux01/nixpkgs/archive/b1ad5639c1c55c1004e1b4fadce7837ab68dd3d6.tar.gz";
+         sha256 = "0ly4wn0kyaam59fb3jphkp14sw7bwwar2fsf1r2hash0h16bk4sf";
+       }