Vladimír Čunát 5e9f1bb343 docbook5: 5.0 -> 5.0.1 ... Main reason: the previous source would not unpack with patched unzip: https://github.com/NixOS/nixpkgs/commit/0238946872c1		2019-07-20 12:39:16 +02:00
..
default.nix	docbook5: 5.0 -> 5.0.1	2019-07-20 12:39:16 +02:00