diff options
author | Vladimír Čunát | 2019-01-02 17:19:40 +0100 |
---|---|---|
committer | Vladimír Čunát | 2019-01-02 17:21:42 +0100 |
commit | 1ec9f8b62f19d706e75e0292ab714e83413fed77 (patch) | |
tree | b94a3439185442673f2eabbd52cf0adc4daa841b /pkgs/development/tools/documentation | |
parent | 70bff06140175862b2489301ff6595b4e84235e7 (diff) |
doxygen: 1.8.14 -> 1.8.15
I thought of filing a PR, but it would seem a useless step, even though the release seems to bring lots of changes: http://www.doxygen.nl/manual/changelog.html#log_1_8_15 My relatively simple use case still works (atop 18.09).
Diffstat (limited to 'pkgs/development/tools/documentation')
-rw-r--r-- | pkgs/development/tools/documentation/doxygen/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/tools/documentation/doxygen/default.nix b/pkgs/development/tools/documentation/doxygen/default.nix index f590c3e5988a..d7dcb4259633 100644 --- a/pkgs/development/tools/documentation/doxygen/default.nix +++ b/pkgs/development/tools/documentation/doxygen/default.nix @@ -2,14 +2,14 @@ stdenv.mkDerivation rec { - name = "doxygen-1.8.14"; + name = "doxygen-1.8.15"; src = fetchurl { urls = [ "mirror://sourceforge/doxygen/${name}.src.tar.gz" # faster, with https, etc. "http://doxygen.nl/files/${name}.src.tar.gz" ]; - sha256 = "d1757e02755ef6f56fd45f1f4398598b920381948d6fcfa58f5ca6aa56f59d4d"; + sha256 = "bd9c0ec462b6a9b5b41ede97bede5458e0d7bb40d4cfa27f6f622eb33c59245d"; }; nativeBuildInputs = [ cmake ]; |