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: 6b8252d3673e
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 22472dbe7754
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Nov 2, 2018

  1. coqPackages.contribs.zfc: enable for Coq 8.8

    @vbgl
    vbgl committed Nov 2, 2018

    Verified

    This commit was signed with the committer’s verified signature.
    janb87 Jan Bevers
    SSH Key Fingerprint: Q4MM1aj9NRNSXhCdudBo4HGT+Bc10rYGmMPZgGbXTTk
    Verified
    Learn about vigilant mode
    Copy the full SHA
    6a449c0 View commit details

Commits on Nov 4, 2018

  1. Merge pull request #49635 from vbgl/coq-contribs-zfc-8.8 

    coqPackages.contribs.zfc: enable for Coq 8.8
    @Mic92
    Mic92 authored Nov 4, 2018

    Verified

    This commit was signed with the committer’s verified signature.
    janb87 Jan Bevers
    SSH Key Fingerprint: Q4MM1aj9NRNSXhCdudBo4HGT+Bc10rYGmMPZgGbXTTk
    Verified
    Learn about vigilant mode
    Copy the full SHA
    22472db View commit details
Showing with 1 addition and 1 deletion.
  1. +1 −1 pkgs/development/coq-modules/contribs/default.nix
2 changes: 1 addition & 1 deletion pkgs/development/coq-modules/contribs/default.nix
View file
Original file line number Diff line number Diff line change
@@ -1018,7 +1018,7 @@ let mkContrib = repo: revs: param:
sha256 = "0fp3vdl79c8d759qjhk42rjfpkd0ba4pcw572f5gxn28kfwz3rrj";
};

zfc = mkContrib "zfc" [ "8.5" "8.6" "8.7" ] {
zfc = mkContrib "zfc" [ "8.5" "8.6" "8.7" "8.8" ] {
version = "v8.5.0-5-gbba3259";
rev = "bba325933370fea64780b1afa2fad54c1b567819";
sha256 = "0iwkpmc22nwasrk4g7ki4s5y05zjs7kmqk3j98giwp2wiavhgapn";