update flake

coq · Jun 18, 2024 · fa77f04 · fa77f04
1 parent 6602e5f
commit fa77f04
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -4,7 +4,7 @@
   inputs = {
     flake-utils.url = "github:numtide/flake-utils";
 
-    coq-master = { url = "github:coq/coq/f37ff9690f297074d0c9bd78e6c2c858d2db2e98"; }; # Should be kept in sync with PIN_COQ in CI workflow
+    coq-master = { url = "github:coq/coq/763fb02e538e8d0d8d5a88801b9b18fbe66260d8"; }; # Should be kept in sync with PIN_COQ in CI workflow
     coq-master.inputs.nixpkgs.follows = "nixpkgs";
 
   };