From 9a4cb83d96dfd82507fca8c402289ca43f091391 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 17 Jan 2025 09:56:28 +0100
Subject: [PATCH] coq: 8.20.0 -> 8.20.1

---
 .nix/nixpkgs.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.nix/nixpkgs.nix b/.nix/nixpkgs.nix
index ce25d7a..e7b97fc 100644
--- a/.nix/nixpkgs.nix
+++ b/.nix/nixpkgs.nix
@@ -1,4 +1,4 @@
 fetchTarball {
-    url = "https://github.com/NixOS/nixpkgs/archive/c97cbc1c98e3515de6e61cff429def14b05399de.tar.gz";
-    sha256 = "08bhgpp5q80wicqa5s6whv45157b8ld33ky1hisa81hmipjg3bwk";
+    url = "https://github.com/NixOS/nixpkgs/archive/32acaa2689c010f24acc3755f97fb9dafc76f05a.tar.gz";
+    sha256 = "0frsjmz3ndgq1hk4k8aaq1nvy67sxrm6bhz0kxzlp5f6xd682d7q";
   }