Merge pull request #63023 from dtzWill/update/txr-217

txr: 216 -> 217
This commit is contained in:
Will Dietz 2019-06-17 20:59:51 -05:00 committed by GitHub
commit ece5025900
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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