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

Commits on May 20, 2020

  1. coq_8_11: 8.11.1 → 8.11.2

    @vbgl
    vbgl committed May 20, 2020
    Copy the full SHA
    48f0d8b View commit details
Showing with 2 additions and 1 deletion.
  1. +1 −0 pkgs/applications/science/logic/coq/default.nix
  2. +1 −1 pkgs/top-level/coq-packages.nix
1 change: 1 addition & 0 deletions pkgs/applications/science/logic/coq/default.nix
View file
Original file line number Diff line number Diff line change
@@ -34,6 +34,7 @@ let
"8.10.2" = "0znxmpy71bfw0p6x47i82jf5k7v41zbz9bdpn901ysn3ir8l3wrz";
"8.11.0" = "1rfdic6mp7acx2zfwz7ziqk12g95bl9nyj68z4n20a5bcjv2pxpn";
"8.11.1" = "0qriy9dy36dajsv5qmli8gd6v55mah02ya334nw49ky19v7518m0";
"8.11.2" = "0f77ccyxdgbf1nrj5fa8qvrk1cyfy06fv8gj9kzfvlcgn0cf48sa";
}.${version};
coq-version = stdenv.lib.versions.majorMinor version;
versionAtLeast = stdenv.lib.versionAtLeast coq-version;
2 changes: 1 addition & 1 deletion pkgs/top-level/coq-packages.nix
View file
Original file line number Diff line number Diff line change
@@ -112,7 +112,7 @@ in rec {
version = "8.10.2";
};
coq_8_11 = callPackage ../applications/science/logic/coq {
version = "8.11.1";
version = "8.11.2";
};

coqPackages_8_5 = mkCoqPackages coq_8_5;