diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-01-21 13:32:38 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-01-21 16:39:59 +0100 |
| commit | 33fc9b1c6dec3287425ad88e60e6534e33d1f9b9 (patch) | |
| tree | 1f7578f9cb259316785767801947b5cb1a67dc8e /pkgs/development/coq-modules/math-classes | |
| parent | 5e0f8f6762d123ddfb60d440ac046846268fff36 (diff) | |
| download | nixlib-33fc9b1c6dec3287425ad88e60e6534e33d1f9b9.tar nixlib-33fc9b1c6dec3287425ad88e60e6534e33d1f9b9.tar.gz nixlib-33fc9b1c6dec3287425ad88e60e6534e33d1f9b9.tar.bz2 nixlib-33fc9b1c6dec3287425ad88e60e6534e33d1f9b9.tar.lz nixlib-33fc9b1c6dec3287425ad88e60e6534e33d1f9b9.tar.xz nixlib-33fc9b1c6dec3287425ad88e60e6534e33d1f9b9.tar.zst nixlib-33fc9b1c6dec3287425ad88e60e6534e33d1f9b9.zip | |
coqPackages.math-classes: 8.11.0 -> 8.12.0
Diffstat (limited to 'pkgs/development/coq-modules/math-classes')
| -rw-r--r-- | pkgs/development/coq-modules/math-classes/default.nix | 4 |
1 files 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 c6b0dab0e0a7..c5bd1098c0b4 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 ]; |