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

Commits on Jun 1, 2018

  1. coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)

    @vbgl @xeji
    vbgl authored and xeji committed Jun 1, 2018
    Copy the full SHA
    44659fc View commit details
Showing with 12 additions and 5 deletions.
  1. +12 −5 pkgs/development/coq-modules/contribs/default.nix
17 changes: 12 additions & 5 deletions pkgs/development/coq-modules/contribs/default.nix
View file
Original file line number Diff line number Diff line change
@@ -21,11 +21,18 @@ let mkContrib = repo: revs: param:
};
}; in
{
aac-tactics = mkContrib "aac-tactics" [ ] {
version = "v8.6.0-7-g54913f4";
rev = "54913f44939623986ce3e01e3faf31efa9059ca6";
sha256 = "0bb6y7nqs4gyv1ybzhbdg6hb2hyfxc7bmkg6zl43l14641zhv247";
};
aac-tactics = mkContrib "aac-tactics" [ "8.7" "8.8" ] {
"8.7" = {
version = "20180530";
rev = "f01df35e1d796ce1fdc7ba3d670ce5d63c95d544";
sha256 = "1bwvnbd5ws1plgj147blcrvyycf3gg3fz3rm2mckln8z3sfxyq2k";
};
"8.8" = {
version = "20180530";
rev = "86ac28259030649ef51460e4de2441c8a1017751";
sha256 = "09bbk2a7pn0j76mmapl583f8a20zqd3a1m9lkml8rpwml692bzi9";
};
}."${coq.coq-version}";

abp = mkContrib "abp" [ "8.5" "8.6" "8.7" ] {
version = "v8.6.0";