diff options
| author | James ‘Twey’ Kay <twey@twey.co.uk> | 2017-03-28 21:02:30 +0100 |
|---|---|---|
| committer | James ‘Twey’ Kay <twey@twey.co.uk> | 2017-03-28 21:02:30 +0100 |
| commit | c54588d250394caf14a003470a3e70279cbe02d2 (patch) | |
| tree | 632c09b58f72bf870fd68cea55e6590475ecc896 /pkgs/applications/science/logic/redprl | |
| parent | f9f5bec50766a00e6fe47d7f84b0fae43b308f4b (diff) | |
| download | nixlib-c54588d250394caf14a003470a3e70279cbe02d2.tar nixlib-c54588d250394caf14a003470a3e70279cbe02d2.tar.gz nixlib-c54588d250394caf14a003470a3e70279cbe02d2.tar.bz2 nixlib-c54588d250394caf14a003470a3e70279cbe02d2.tar.lz nixlib-c54588d250394caf14a003470a3e70279cbe02d2.tar.xz nixlib-c54588d250394caf14a003470a3e70279cbe02d2.tar.zst nixlib-c54588d250394caf14a003470a3e70279cbe02d2.zip | |
redprl: 2016-09-22 -> 2017-03-28
Diffstat (limited to 'pkgs/applications/science/logic/redprl')
| -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 ]; |