cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

redprl: unstable-2017-03-28 -> unstable-2019-11-04

Browse source
This commit is contained in:
Thomas Watson 2021-11-12 19:24:17 -06:00
parent 47036da610
commit 1564d88c41
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/applications/science/logic/redprl/default.nix
View file

@ -2,14 +2,14 @@
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "redprl"; pname = "redprl";
version = "unstable-2017-03-28"; version = "unstable-2019-11-04";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "RedPRL"; owner = "RedPRL";
repo = "sml-redprl"; repo = "sml-redprl";
rev = "bdf027de732e4a8d10f9f954389dfff0c822f18b"; rev = "c72190de76f7ed1cfbe1d2046c96e99ac5022b0c";
fetchSubmodules = true; fetchSubmodules = true;
sha256 = "0cihwnd78d3ksxp6mppifm7xpi3fsii5mixvicajy87ggw8z305c"; sha256 = "sha256-xrQT5o0bsIN+mCYUOz9iY4+j3HGROb1I6R2ADcLy8n4=";
}; };
buildInputs = [ mlton ]; buildInputs = [ mlton ];