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

Commits on Jun 2, 2020

  1. coqPackages.InfSeqExt: 20180918 → 20200131

    @vbgl
    vbgl committed Jun 2, 2020
    Copy the full SHA
    5505331 View commit details

  2. coqPackages.Cheerios: 20181102 → 20200201

    @vbgl
    vbgl committed Jun 2, 2020

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature.
    GPG key ID: B5690EEEBB952194
    Verified
    Learn about vigilant mode
    Copy the full SHA
    6f9d124 View commit details

  3. coqPackages.Verdi: 20190202 → 20200131

    @vbgl
    vbgl committed Jun 2, 2020
    Copy the full SHA
    f0d985c View commit details
Showing with 12 additions and 12 deletions.
  1. +4 −4 pkgs/development/coq-modules/Cheerios/default.nix
  2. +4 −4 pkgs/development/coq-modules/InfSeqExt/default.nix
  3. +4 −4 pkgs/development/coq-modules/Verdi/default.nix
8 changes: 4 additions & 4 deletions pkgs/development/coq-modules/Cheerios/default.nix
View file
Original file line number Diff line number Diff line change
@@ -2,9 +2,9 @@

let param =
{
version = "20181102";
rev = "04da309304bdd28a1f7dacca9fdf8696204a4ff2";
sha256 = "1xfa78p70c90favds1mv1vj5sr9bv0ad3dsgg05v3v72006g2f1q";
version = "20200201";
rev = "9c7f66e57b91f706d70afa8ed99d64ed98ab367d";
sha256 = "1h55s6lk47bk0lv5ralh81z55h799jbl9mhizmqwqzy57y8wqgs1";
};
in

@@ -27,6 +27,6 @@ stdenv.mkDerivation {
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];

passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" ];
compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" "8.10" "8.11" ];
};
}
8 changes: 4 additions & 4 deletions pkgs/development/coq-modules/InfSeqExt/default.nix
View file
Original file line number Diff line number Diff line change
@@ -2,9 +2,9 @@

let param =
{
version = "20180918";
rev = "243d6be45666da73a9da6c37d451327165275798";
sha256 = "1nh2psb4pcppy1akk24ilb4p08m35cba357i4xyymmarmbwqpxmn";
version = "20200131";
rev = "203d4c20211d6b17741f1fdca46dbc091f5e961a";
sha256 = "0xylkdmb2dqnnqinf3pigz4mf4zmczcbpjnn59g5g76m7f2cqxl0";
};
in

@@ -26,6 +26,6 @@ stdenv.mkDerivation {
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];

passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" ];
compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" "8.10" "8.11" ];
};
}
8 changes: 4 additions & 4 deletions pkgs/development/coq-modules/Verdi/default.nix
View file
Original file line number Diff line number Diff line change
@@ -3,9 +3,9 @@
let param =
if stdenv.lib.versionAtLeast coq.coq-version "8.7" then
{
version = "20190202";
rev = "bc193be9ea8485add7646a0f72e2aa76a9c7e01f";
sha256 = "1adkwxnmc9qfah2bya0hpd2vzkmk1y212z4n7fcmvr1a85ykgd7z";
version = "20200131";
rev = "fdb4ede19d2150c254f0ebcfbed4fb9547a734b0";
sha256 = "1a2k19f9q5k5djbxplqmmpwck49kw3lrm3aax920h4yb40czkd8m";
} else {
version = "20181102";
rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564";
@@ -32,6 +32,6 @@ stdenv.mkDerivation {
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];

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