Merge pull request #39228 from r-ryantm/auto-update/j

j: 806 -> 808
This commit is contained in:
Michael Raskin 2018-04-20 12:22:33 +00:00 committed by GitHub
commit 0e09510b0b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "j-${version}"; name = "j-${version}";
version = "806"; version = "808";
jtype = "release"; jtype = "release";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "jsoftware"; owner = "jsoftware";
repo = "jsource"; repo = "jsource";
rev = "j${version}-${jtype}"; rev = "j${version}-${jtype}";
sha256 = "0b9sbd5hbyr5454k0p53f03lpf03sz8mqwszaqi0vcs73bsprdjs"; sha256 = "1sshm04p3yznlhfp6vyc7g8qxw95y67vhnh92cmz3lfy69n2q6bf";
}; };
buildInputs = [ readline libedit ]; buildInputs = [ readline libedit ];