Skip to content
This repository was archived by the owner on Apr 12, 2021. It is now read-only.
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-channels
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 7ff1a0d9f15e
Choose a base ref
...
head repository: NixOS/nixpkgs-channels
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 9fa7ee47b773
Choose a head ref
  • 2 commits
  • 3 files changed
  • 2 contributors

Commits on Apr 6, 2020

  1. pantheon.wingpanel-indicator-notifications: remove wnck 

    Don't need it elementary/wingpanel-indicator-notifications@8ba4666

(cherry picked from commit ce867da)
    @worldofpeace
    worldofpeace committed Apr 6, 2020
    Copy the full SHA
    4c2401a View commit details

  2. coq_8_11: 8.11.0 → 8.11.1 

    (cherry picked from commit d6a8d0c)
    @vbgl
    vbgl committed Apr 6, 2020

    Verified

    This commit was signed with the committer’s verified signature. The key has expired.
    vbgl Vincent Laporte
    GPG key ID: EBD582ADDDB1F81F
    Expired
    Verified
    Learn about vigilant mode
    Copy the full SHA
    9fa7ee4 View commit details
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
@@ -33,6 +33,7 @@ let
"8.10.1" = "072v2zkjzf7gj48137wpr3c9j0hg9pdhlr5l8jrgrwynld8fp7i4";
"8.10.2" = "0znxmpy71bfw0p6x47i82jf5k7v41zbz9bdpn901ysn3ir8l3wrz";
"8.11.0" = "1rfdic6mp7acx2zfwz7ziqk12g95bl9nyj68z4n20a5bcjv2pxpn";
"8.11.1" = "0qriy9dy36dajsv5qmli8gd6v55mah02ya334nw49ky19v7518m0";
}.${version};
coq-version = stdenv.lib.versions.majorMinor version;
versionAtLeast = stdenv.lib.versionAtLeast coq-version;
2 changes: 0 additions & 2 deletions pkgs/desktops/pantheon/desktop/wingpanel-indicators/notifications/default.nix
View file
Original file line number Diff line number Diff line change
@@ -9,7 +9,6 @@
, granite
, wingpanel
, libgee
, libwnck3
}:

stdenv.mkDerivation rec {
@@ -40,7 +39,6 @@ stdenv.mkDerivation rec {
granite
gtk3
libgee
libwnck3
wingpanel
];

2 changes: 1 addition & 1 deletion pkgs/top-level/coq-packages.nix
View file
Original file line number Diff line number Diff line change
@@ -137,7 +137,7 @@ in rec {
version = "8.10.2";
};
coq_8_11 = callPackage ../applications/science/logic/coq {
version = "8.11.0";
version = "8.11.1";
};

coqPackages_8_5 = mkCoqPackages coq_8_5;