diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-11-10 22:57:28 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-11-10 23:29:26 +0100 |
| commit | eca7729301a7c10886bc6790cf499acb534286d3 (patch) | |
| tree | cafe444264ebfff777e1a4355b8f56c1b1b52f8a | |
| parent | 0b8db035040dc404be966306cbd2ba321ef56d99 (diff) | |
| download | patches-eca7729301a7c10886bc6790cf499acb534286d3.tar patches-eca7729301a7c10886bc6790cf499acb534286d3.tar.gz | |
gnu: rtmidi: Fetch sources from git.
* gnu/packages/audio.scm (rtmidi)[source]: Fetch from git.
| -rw-r--r-- | gnu/packages/audio.scm | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gnu/packages/audio.scm b/gnu/packages/audio.scm index 1e6484ebf1..b383c4785d 100644 --- a/gnu/packages/audio.scm +++ b/gnu/packages/audio.scm @@ -2274,14 +2274,14 @@ tempo and pitch of an audio recording independently of one another.") (name "rtmidi") (version "2.1.0") (source (origin - (method url-fetch) - (uri - (string-append "https://github.com/powertab/rtmidi/archive/" - version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/powertab/rtmidi.git") + (commit version))) + (file-name (git-file-name name version)) (sha256 (base32 - "0d49lapnmdgmjxh4vw57h6xk74nn5r0zwysv7jbd7m8kqhpq5rjj")))) + "106v177y3nrjv2l1yskch4phpqd8h97b67zj0jiq9pc3c69jr1ay")))) (build-system gnu-build-system) (arguments `(#:tests? #f ;no "check" target |