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: b7ccd536c887
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: f2cd2ee0e081
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Feb 7, 2020

  1. coqPackages.bignums: enable for Coq 8.11

    @vbgl
    vbgl committed Feb 7, 2020
    Copy the full SHA
    f2cd2ee View commit details
Showing with 4 additions and 0 deletions.
  1. +4 −0 pkgs/development/coq-modules/bignums/default.nix
4 changes: 4 additions & 0 deletions pkgs/development/coq-modules/bignums/default.nix
View file
Original file line number Diff line number Diff line change
@@ -21,6 +21,10 @@ let params = {
rev = "V8.10+beta1";
sha256 = "1slw227idwjw9a21vj3s6kal22mrmvvlpg8r7xk590ml99bn6404";
};
"8.11" = {
rev = "V8.11.0";
sha256 = "1xcd7c7qlvs0narfba6px34zq0mz8rffnhxw0kzhhg6i4iw115dp";
};
};
param = params.${coq.coq-version};
in