Merge pull request #35611 from ryantm/auto-update/doclifter-2.15-to-2.17

doclifter: 2.15 -> 2.17
This commit is contained in:
Frederik Rietdijk 2018-02-26 07:10:26 +00:00 committed by GitHub
commit fc396778e5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,10 +1,10 @@
{stdenv, fetchurl, python}: {stdenv, fetchurl, python}:
stdenv.mkDerivation { stdenv.mkDerivation {
name = "doclifter-2.15"; name = "doclifter-2.17";
src = fetchurl { src = fetchurl {
url = http://www.catb.org/~esr/doclifter/doclifter-2.15.tar.gz; url = http://www.catb.org/~esr/doclifter/doclifter-2.17.tar.gz;
sha256 = "14k750bxp0kpnm130pp22vx3vmppfnzwisc042din1416ka07yv0"; sha256 = "1m8yfjbl8wzcml9q4k7m1crwid0a14r07fqf33bmmgx1zpjk8kmv";
}; };
buildInputs = [ python ]; buildInputs = [ python ];