Merge pull request #174007 from FliegendeWurst/htmldoc-1.9.16

htmldoc: 1.9.15 -> 1.9.16
main
ajs124 2 years ago committed by GitHub
commit cc86763b86
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 4
      pkgs/tools/typesetting/htmldoc/default.nix

@ -2,12 +2,12 @@
stdenv.mkDerivation rec {
pname = "htmldoc";
version = "1.9.15";
version = "1.9.16";
src = fetchFromGitHub {
owner = "michaelrsweet";
repo = "htmldoc";
rev = "v${version}";
sha256 = "sha256-WNsYJacZBYoZ8Bxj+InQ9ePvelqhU5y9nY7aikUNxEk=";
sha256 = "117cj5sfzl18gan53ld8lxb0wycizcp9jcakcs3nsvnss99rw3a6";
};
nativeBuildInputs = [ pkg-config ];

Loading…
Cancel
Save