docbook5: 5.0 -> 5.0.1

Main reason: the previous source would not unpack with patched unzip:
https://github.com/NixOS/nixpkgs/commit/0238946872c1
This commit is contained in:
Vladimír Čunát 2019-07-20 12:39:16 +02:00
parent ecfb397e8a
commit 5e9f1bb343
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

@ -1,11 +1,12 @@
{ lib, stdenv, fetchurl, unzip }:
stdenv.mkDerivation {
name = "docbook5-5.0";
stdenv.mkDerivation rec {
pname = "docbook5";
version = "5.0.1";
src = fetchurl {
url = http://www.docbook.org/xml/5.0/docbook-5.0.zip;
sha256 = "13i04dkd709f0p5f2413sf2y9321pfi4y85ynf8wih6ryphnbk9x";
url = "http://www.docbook.org/xml/${version}/docbook-${version}.zip";
sha256 = "1iz3hq1lqgnshvlz4j9gvh4jy1ml74qf90vqf2ikbq0h4i2xzybs";
};
nativeBuildInputs = [ unzip ];