BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Merge pull request #145708 from tpwrules/redprl-upgrade

Browse source 
redprl: unstable-2017-03-28 -> unstable-2019-11-04
This commit is contained in:
Jörg Thalheim 2021-11-13 10:02:11 +00:00 committed by GitHub
commit abda1f6e68
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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 {
pname = "redprl";
version = "unstable-2017-03-28";
version = "unstable-2019-11-04";
src = fetchFromGitHub {
owner = "RedPRL";
repo = "sml-redprl";
rev = "bdf027de732e4a8d10f9f954389dfff0c822f18b";
rev = "c72190de76f7ed1cfbe1d2046c96e99ac5022b0c";
fetchSubmodules = true;
sha256 = "0cihwnd78d3ksxp6mppifm7xpi3fsii5mixvicajy87ggw8z305c";
sha256 = "sha256-xrQT5o0bsIN+mCYUOz9iY4+j3HGROb1I6R2ADcLy8n4=";
};
buildInputs = [ mlton ];