jonprl: corrected sha change

This commit is contained in:
Edward Tjörnhammar 2016-04-26 22:23:02 +02:00
parent 89dfbd1215
commit f027aa2059
No known key found for this signature in database
GPG Key ID: 7B82CE4A866B6845

View File

@ -8,7 +8,7 @@ stdenv.mkDerivation rec {
url = "https://github.com/jonsterling/JonPRL.git";
deepClone = true;
rev = "refs/tags/v${version}";
sha256 = "1z0d8dq1nb4dycic58nnk617hbfgafz0vmwr8gkl0i6405gfg1zy";
sha256 = "09m1vb41vxvqnk78gm9inip1abknkywij30rghvym93q460cl2hm";
};
buildInputs = [ smlnj which ];