diff options
author | Hlöðver Sigurðsson <hlolli@gmail.com> | 2019-03-24 07:19:54 +0100 |
---|---|---|
committer | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2019-03-24 02:19:54 -0400 |
commit | 990eaa30d9b93e56a21d4f91e0421d4fe6eacafb (patch) | |
tree | ad87677d0529a62c5922dbf68ae0f9ce2c7fa3b4 /pkgs/applications/audio/csound | |
parent | 6f95ac3588597a2d165f09b77dc2e607c1f286b9 (diff) |
fix: csound-manual by using newer git revision (#57663)
Diffstat (limited to 'pkgs/applications/audio/csound')
-rw-r--r-- | pkgs/applications/audio/csound/csound-manual/default.nix | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/pkgs/applications/audio/csound/csound-manual/default.nix b/pkgs/applications/audio/csound/csound-manual/default.nix index f82ec7a4ea13b..df0fcb0ee9cd2 100644 --- a/pkgs/applications/audio/csound/csound-manual/default.nix +++ b/pkgs/applications/audio/csound/csound-manual/default.nix @@ -1,19 +1,20 @@ -{ - stdenv, fetchurl, docbook_xsl, - docbook_xml_dtd_45, python, pygments, - libxslt +{ + stdenv, fetchFromGitHub, docbook_xsl, + docbook_xml_dtd_45, python, pygments, + libxslt }: stdenv.mkDerivation rec { - version = "6.12.0"; - name = "csound-manual-${version}"; - - src = fetchurl { - url = "https://github.com/csound/manual/archive/${version}.tar.gz"; - sha256 = "1v1scp468rnfbcajnp020kdj8zigimc2mbcwzxxqi8sf8paccdrp"; + pname = "csound-manual"; + version = "unstable-2019-02-22"; + + src = fetchFromGitHub { + owner = "csound"; + repo = "manual"; + rev = "3b0bdc83f9245261b4b85a57c3ed636d5d924a4f"; + sha256 = "074byjhaxraapyg54dxgg7hi1d4978aa9c1rmyi50p970nsxnacn"; }; - prePatch = '' substituteInPlace manual.xml \ --replace "http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" \ @@ -41,4 +42,3 @@ stdenv.mkDerivation rec { platforms = stdenv.lib.platforms.all; }; } - |