diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-06-01 19:31:02 +0200 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-06-01 19:31:02 +0200 |
| commit | 44659fcbe162b8dbce50df6fc32ca63637e2f9ca (patch) | |
| tree | 63be09ff46c177ea4f61240c6e7e42d15526adc5 | |
| parent | 7a2dd975695623723b40811c4b60eac6da4b1eb6 (diff) | |
| download | nixlib-44659fcbe162b8dbce50df6fc32ca63637e2f9ca.tar nixlib-44659fcbe162b8dbce50df6fc32ca63637e2f9ca.tar.gz nixlib-44659fcbe162b8dbce50df6fc32ca63637e2f9ca.tar.bz2 nixlib-44659fcbe162b8dbce50df6fc32ca63637e2f9ca.tar.lz nixlib-44659fcbe162b8dbce50df6fc32ca63637e2f9ca.tar.xz nixlib-44659fcbe162b8dbce50df6fc32ca63637e2f9ca.tar.zst nixlib-44659fcbe162b8dbce50df6fc32ca63637e2f9ca.zip | |
coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)
| -rw-r--r-- | pkgs/development/coq-modules/contribs/default.nix | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/pkgs/development/coq-modules/contribs/default.nix b/pkgs/development/coq-modules/contribs/default.nix index 7b274812737e..1b310d74b82a 100644 --- a/pkgs/development/coq-modules/contribs/default.nix +++ b/pkgs/development/coq-modules/contribs/default.nix @@ -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"; |