Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: aac481037491
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: f2df7cd34f50
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Jul 19, 2020

  1. coqPackages.math-classes: 8.9.1 → 8.11.0

    @vbgl
    vbgl committed Jul 19, 2020
    Copy the full SHA
    f2df7cd View commit details
Showing with 3 additions and 3 deletions.
  1. +3 −3 pkgs/development/coq-modules/math-classes/default.nix
6 changes: 3 additions & 3 deletions pkgs/development/coq-modules/math-classes/default.nix
View file
Original file line number Diff line number Diff line change
@@ -3,13 +3,13 @@
stdenv.mkDerivation rec {

name = "coq${coq.coq-version}-math-classes-${version}";
version = "8.9.1";
version = "8.11.0";

src = fetchFromGitHub {
owner = "coq-community";
repo = "math-classes";
rev = version;
sha256 = "1lw89js07m1wcaycpnyd85sf0snil2rrsfmry9lna2x66ah1mzn5";
sha256 = "1hjgncvm1m46lw6264w4dqsy8dbh74vhmzq52x0fba2yqlvy94sf";
};

buildInputs = [ coq bignums ];
@@ -24,7 +24,7 @@ stdenv.mkDerivation rec {
};

passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" "8.10" ];
compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" "8.10" "8.11" ];
};

}