From f1238742f931269167e7c2704b53bb285d05f39d Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 18 May 2020 11:28:58 +0200
Subject: Update to 8.13.

Part of this PR was automatically generated by running dev/doc/update-compat.py --master
---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index 841bccb129..6b0e396d23 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.12-git"
+, coq-version ? "8.13-git"
 }:
 
 with pkgs;
-- 
cgit v1.2.3