From 33fc9b1c6dec3287425ad88e60e6534e33d1f9b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@inria.fr>
Date: Thu, 21 Jan 2021 13:32:38 +0100
Subject: [PATCH] coqPackages.math-classes: 8.11.0 -> 8.12.0

---
 pkgs/development/coq-modules/math-classes/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/coq-modules/math-classes/default.nix b/pkgs/development/coq-modules/math-classes/default.nix
index c6b0dab0e0a..c5bd1098c0b 100644
--- a/pkgs/development/coq-modules/math-classes/default.nix
+++ b/pkgs/development/coq-modules/math-classes/default.nix
@@ -4,8 +4,8 @@ with lib; mkCoqDerivation {
 
   pname = "math-classes";
   inherit version;
-  defaultVersion = if versions.range "8.6" "8.11" coq.coq-version then "8.11.0" else null;
-  release."8.11.0".sha256 = "1hjgncvm1m46lw6264w4dqsy8dbh74vhmzq52x0fba2yqlvy94sf";
+  defaultVersion = if versions.range "8.6" "8.12" coq.coq-version then "8.12.0" else null;
+  release."8.12.0".sha256 = "14nd6a08zncrl5yg2gzk0xf4iinwq4hxnsgm4fyv07ydbkxfb425";
 
   extraBuildInputs = [ bignums ];