Merge pull request #145708 from tpwrules/redprl-upgrade
redprl: unstable-2017-03-28 -> unstable-2019-11-04
commitabda1f6e68cb4933596c2a883a21ebeac954f2f2
authorJörg Thalheim <Mic92@users.noreply.github.com>
dateSat 13 Nov 2021, 10:02 (5 years ago)
parent4bc82a31564d88
pkgs/applications/science/logic/redprl/default.nix+3−3
@@ -2,14 +2,14 @@
22
33stdenv.mkDerivation {
44 pname = "redprl";
5− version = "unstable-2017-03-28";
5+ version = "unstable-2019-11-04";
66
77 src = fetchFromGitHub {
88 owner = "RedPRL";
99 repo = "sml-redprl";
10− rev = "bdf027de732e4a8d10f9f954389dfff0c822f18b";
10+ rev = "c72190de76f7ed1cfbe1d2046c96e99ac5022b0c";
1111 fetchSubmodules = true;
12− sha256 = "0cihwnd78d3ksxp6mppifm7xpi3fsii5mixvicajy87ggw8z305c";
12+ sha256 = "sha256-xrQT5o0bsIN+mCYUOz9iY4+j3HGROb1I6R2ADcLy8n4=";
1313 };
1414
1515 buildInputs = [ mlton ];