From dbb6f70006ac7b565a932d1e8c9fb30d118f6bca Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Wed, 12 Jun 2019 08:16:31 +0000
Subject: [PATCH] coqPackages.bignums: enable for Coq 8.10

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

diff --git a/pkgs/development/coq-modules/bignums/default.nix b/pkgs/development/coq-modules/bignums/default.nix
index 14a7f2dc4e2..a074b27ff65 100644
--- a/pkgs/development/coq-modules/bignums/default.nix
+++ b/pkgs/development/coq-modules/bignums/default.nix
@@ -17,6 +17,10 @@ let params = {
         rev = "V8.9.0";
         sha256 = "03qz1w2xb2j5p06liz5yyafl0fl9vprcqm6j0iwi7rxwghl00p01";
       };
+      "8.10" = {
+        rev = "V8.10+beta1";
+        sha256 = "1slw227idwjw9a21vj3s6kal22mrmvvlpg8r7xk590ml99bn6404";
+      };
     };
     param = params."${coq.coq-version}";
 in