Merge pull request #64535 from dtzWill/update/txr-220

txr: 117 -> 220
This commit is contained in:
Will Dietz 2019-07-18 15:21:15 -05:00 committed by GitHub
commit ce684695bf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "txr"; pname = "txr";
version = "217"; version = "220";
src = fetchurl { src = fetchurl {
url = "http://www.kylheku.com/cgit/txr/snapshot/${pname}-${version}.tar.bz2"; url = "http://www.kylheku.com/cgit/txr/snapshot/${pname}-${version}.tar.bz2";
sha256 = "0q4v7zsbflzvw1xskacdnj0z8qng8c9pcvaa54f2jnnq7crkrd4q"; sha256 = "00jg1zhsqhi146xrh0bfb2czfgfw9i2xbpqwk3yh0n766wcm4ryd";
}; };
nativeBuildInputs = [ bison flex ]; nativeBuildInputs = [ bison flex ];