From d9bcdeeb5b4cbfd83b780ddf841c08416b47cbc0 Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Tue, 19 Mar 2024 17:36:42 +0100
Subject: [PATCH] WIP

---
 flake.lock | 8 ++++----
 flake.nix  | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/flake.lock b/flake.lock
index 301fcfe19..6a55a80c1 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,17 +8,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1710847998,
-        "narHash": "sha256-2lMN/B9UsOTYvypjZQApL9u0R7zqk5n0VW2DpoUySQo=",
+        "lastModified": 1710852819,
+        "narHash": "sha256-6i60KwqpoAHYvSD6RkLAQjn+6hVBxSb0bt6fvWCO3S8=",
         "owner": "rtetley",
         "repo": "coq",
-        "rev": "4d99b9ea6c75d6cfaf6db3112b684169baea96df",
+        "rev": "8564e805201e76853b01ecb56a8a3d62474dfe96",
         "type": "github"
       },
       "original": {
         "owner": "rtetley",
         "repo": "coq",
-        "rev": "4d99b9ea6c75d6cfaf6db3112b684169baea96df",
+        "rev": "8564e805201e76853b01ecb56a8a3d62474dfe96",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index 1f487650a..802c072dc 100644
--- a/flake.nix
+++ b/flake.nix
@@ -5,7 +5,7 @@
 
     flake-utils.url = "github:numtide/flake-utils";
 
-    coq-master = { url = "github:rtetley/coq/4d99b9ea6c75d6cfaf6db3112b684169baea96df"; }; # Should be kept in sync with PIN_COQ in CI workflow
+    coq-master = { url = "github:rtetley/coq/8564e805201e76853b01ecb56a8a3d62474dfe96"; }; # Should be kept in sync with PIN_COQ in CI workflow
     coq-master.inputs.nixpkgs.follows = "nixpkgs";
 
   };