From e3a03659e5f3a372fb949693cdd22168b04330f0 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Thu, 18 Apr 2019 10:38:28 +0000
Subject: coqPackages.Verdi: 20181102 -> 20190202

---
 pkgs/development/coq-modules/Verdi/default.nix | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'pkgs/development/coq-modules')

diff --git a/pkgs/development/coq-modules/Verdi/default.nix b/pkgs/development/coq-modules/Verdi/default.nix
index 8eaa2bdfae7..9b3b5320c8e 100644
--- a/pkgs/development/coq-modules/Verdi/default.nix
+++ b/pkgs/development/coq-modules/Verdi/default.nix
@@ -1,7 +1,12 @@
 { stdenv, fetchFromGitHub, coq, Cheerios, InfSeqExt, ssreflect }:
 
 let param =
+  if stdenv.lib.versionAtLeast coq.coq-version "8.7" then
   {
+      version = "20190202";
+      rev = "bc193be9ea8485add7646a0f72e2aa76a9c7e01f";
+      sha256 = "1adkwxnmc9qfah2bya0hpd2vzkmk1y212z4n7fcmvr1a85ykgd7z";
+  } else {
       version = "20181102";
       rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564";
       sha256 = "1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z";
-- 
cgit 1.4.1