diff options
author | Joachim F <joachifm@users.noreply.github.com> | 2017-03-30 14:02:10 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-30 14:02:10 +0100 |
commit | e15b666f79a1e0c80abd36ca59fa734f6ba8be0a (patch) | |
tree | 13b061870a16ca280699b6f0a14981c839cdc3fa /pkgs | |
parent | 20bf94424a9b812cf19abfba3466ac611f40c87d (diff) | |
parent | c54588d250394caf14a003470a3e70279cbe02d2 (diff) | |
download | nixlib-e15b666f79a1e0c80abd36ca59fa734f6ba8be0a.tar nixlib-e15b666f79a1e0c80abd36ca59fa734f6ba8be0a.tar.gz nixlib-e15b666f79a1e0c80abd36ca59fa734f6ba8be0a.tar.bz2 nixlib-e15b666f79a1e0c80abd36ca59fa734f6ba8be0a.tar.lz nixlib-e15b666f79a1e0c80abd36ca59fa734f6ba8be0a.tar.xz nixlib-e15b666f79a1e0c80abd36ca59fa734f6ba8be0a.tar.zst nixlib-e15b666f79a1e0c80abd36ca59fa734f6ba8be0a.zip |
Merge pull request #24416 from Twey/redprl-2017-03-28
redprl: 2016-09-22 -> 2017-03-28
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/redprl/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/redprl/default.nix b/pkgs/applications/science/logic/redprl/default.nix index 0cbe1d1cb375..49245c73f2c4 100644 --- a/pkgs/applications/science/logic/redprl/default.nix +++ b/pkgs/applications/science/logic/redprl/default.nix @@ -1,10 +1,10 @@ { stdenv, fetchgit, mlton }: stdenv.mkDerivation { - name = "redprl-2016-09-22"; + name = "redprl-2017-03-28"; src = fetchgit { url = "https://github.com/RedPRL/sml-redprl.git"; - rev = "3215faf0d494f4ac14d6e10172329a161df192c4"; - sha256 = "0pcq4q9xy34j7ziwbly4qxccpkcrl92r9y11bv6hdkbzwm1g2a77"; + rev = "bdf027de732e4a8d10f9f954389dfff0c822f18b"; + sha256 = "0cihwnd78d3ksxp6mppifm7xpi3fsii5mixvicajy87ggw8z305c"; fetchSubmodules = true; }; buildInputs = [ mlton ]; |