diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-12-15 08:53:31 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-12-15 08:53:49 -0800 |
| commit | 8123bc7942e64e23272d88307d3d9f9d1725a731 (patch) | |
| tree | 3abdd60b028d833b6ac8927e6225f8b3a17c948b /pkgs/development/coq-modules/coq-haskell | |
| parent | 884b748cebccd32671f8ffbdb4b3e1a275f215e1 (diff) | |
| download | nixlib-8123bc7942e64e23272d88307d3d9f9d1725a731.tar nixlib-8123bc7942e64e23272d88307d3d9f9d1725a731.tar.gz nixlib-8123bc7942e64e23272d88307d3d9f9d1725a731.tar.bz2 nixlib-8123bc7942e64e23272d88307d3d9f9d1725a731.tar.lz nixlib-8123bc7942e64e23272d88307d3d9f9d1725a731.tar.xz nixlib-8123bc7942e64e23272d88307d3d9f9d1725a731.tar.zst nixlib-8123bc7942e64e23272d88307d3d9f9d1725a731.zip | |
coqPackages.coq-haskell: Update to add Hask.Ssr module
Diffstat (limited to 'pkgs/development/coq-modules/coq-haskell')
| -rw-r--r-- | pkgs/development/coq-modules/coq-haskell/default.nix | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/pkgs/development/coq-modules/coq-haskell/default.nix b/pkgs/development/coq-modules/coq-haskell/default.nix index bb5fe95a5315..b27fbcc15872 100644 --- a/pkgs/development/coq-modules/coq-haskell/default.nix +++ b/pkgs/development/coq-modules/coq-haskell/default.nix @@ -1,23 +1,23 @@ -{ stdenv, fetchgit, coq }: +{ stdenv, fetchgit, coq, ssreflect }: let param = { "8.5" = { - version = "20171214"; - rev = "d319043533585f60f0c89919a8370f85a9cf572b"; - sha256 = "154a8sx5igw86wby0ybk3rv5y21cji8489amgxhgqxfys9zmx2di"; + version = "20171215"; + rev = "e2cf8b270c2efa3b56fab1ef6acc376c2c3de968"; + sha256 = "09dq1vvshhlhgjccrhqgbhnq2hrys15xryfszqq11rzpgvl2zgdv"; }; "8.6" = { - version = "20171214"; - rev = "d319043533585f60f0c89919a8370f85a9cf572b"; - sha256 = "154a8sx5igw86wby0ybk3rv5y21cji8489amgxhgqxfys9zmx2di"; + version = "20171215"; + rev = "e2cf8b270c2efa3b56fab1ef6acc376c2c3de968"; + sha256 = "09dq1vvshhlhgjccrhqgbhnq2hrys15xryfszqq11rzpgvl2zgdv"; }; "8.7" = { - version = "20171214"; - rev = "d319043533585f60f0c89919a8370f85a9cf572b"; - sha256 = "154a8sx5igw86wby0ybk3rv5y21cji8489amgxhgqxfys9zmx2di"; + version = "20171215"; + rev = "e2cf8b270c2efa3b56fab1ef6acc376c2c3de968"; + sha256 = "09dq1vvshhlhgjccrhqgbhnq2hrys15xryfszqq11rzpgvl2zgdv"; }; }."${coq.coq-version}" @@ -33,7 +33,7 @@ stdenv.mkDerivation rec { }; buildInputs = [ coq.ocaml coq.camlp5 coq.findlib ]; - propagatedBuildInputs = [ coq ]; + propagatedBuildInputs = [ coq ssreflect ]; enableParallelBuilding = false; |