From f29decccfc51850fe067633fcf759a481a210bca Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 24 Nov 2020 10:46:29 +0100
Subject: update default.nix

---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index 7f9e62b28c..0b23bdb48c 100644
--- a/default.nix
+++ b/default.nix
@@ -29,7 +29,7 @@
 , shell ? false
   # We don't use lib.inNixShell because that would also apply
   # when in a nix-shell of some package depending on this one.
-, coq-version ? "8.13-git"
+, coq-version ? "8.14-git"
 }:
 
 with pkgs;
-- 
cgit v1.2.3