Merge pull request #31380 from djgoku/bump-erlang-to-20.1

erlang: 20.0 -> 20.1
This commit is contained in:
Orivej Desh 2017-11-08 10:15:34 +00:00 committed by GitHub
commit 06408bd713
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,8 +1,8 @@
{ mkDerivation, fetchurl }:
mkDerivation rec {
version = "20.0";
sha256 = "12dbay254ivnakwknjn5h55wndb0a0wqx55p156h8hwjhykj2kn0";
version = "20.1";
sha256 = "13f53lzgq2himg9kax41f66rzv5pjfrb1ln8b54yv9spkqx2hqqi";
prePatch = ''
substituteInPlace configure.in --replace '`sw_vers -productVersion`' '10.10'