From b688e8bbf82e694cf62c11a117b67706d39f8459 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 20 May 2020 10:50:20 +0100
Subject: Update coq version to 11

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

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index 961bdec..cd37308 100644
--- a/default.nix
+++ b/default.nix
@@ -1,8 +1,8 @@
 with import <nixpkgs> {};
 
 let
-  ncoq = coq_8_10;
-  ncoqPackages = coqPackages_8_10;
+  ncoq = coq_8_11;
+  ncoqPackages = coqPackages_8_11;
   bbv = ncoqPackages.callPackage
     ( { coq, stdenv, fetchFromGitHub }:
       stdenv.mkDerivation {
-- 
cgit