[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/15: gnu: portmidi-for-extempore: Fetch sources from git.
From: |
Ricardo Wurmus |
Subject: |
02/15: gnu: portmidi-for-extempore: Fetch sources from git. |
Date: |
Sat, 10 Nov 2018 17:29:35 -0500 (EST) |
rekado pushed a commit to branch master
in repository guix.
commit 57906fad59a8527f0eb912b293941968c77aa9f0
Author: Ricardo Wurmus <address@hidden>
Date: Sat Nov 10 22:43:05 2018 +0100
gnu: portmidi-for-extempore: Fetch sources from git.
* gnu/packages/music.scm (portmidi-for-extempore)[source]: Fetch from git.
---
gnu/packages/music.scm | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/gnu/packages/music.scm b/gnu/packages/music.scm
index 28a4083..5e545e2 100644
--- a/gnu/packages/music.scm
+++ b/gnu/packages/music.scm
@@ -1865,13 +1865,14 @@ using a system-independent interface.")
(name "portmidi-for-extempore")
(version "217")
(source (origin
- (method url-fetch)
- (uri (string-append "https://github.com/extemporelang/portmidi/"
- "archive/" version ".tar.gz"))
- (file-name (string-append name "-" version ".tar.gz"))
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/extemporelang/portmidi.git")
+ (commit version)))
+ (file-name (git-file-name name version))
(sha256
(base32
- "0gjikwciyr8kk4y3qiv1pcq58xpgw38ql1m2gs6g0qc1s8sx4235"))))
+ "1inriyrjf7xx2b7r54x0vmf9ngyqgr7g5060c22bwkbsgg53apzv"))))
(build-system cmake-build-system)
(arguments `(#:tests? #f)) ; no tests
(native-inputs '())
- branch master updated (79b8341 -> bed4eb3), Ricardo Wurmus, 2018/11/10
- 04/15: gnu: lvtk: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 01/15: gnu: jalv-select: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 06/15: gnu: swh-plugins-lv2: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 13/15: gnu: cli-visualizer: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 15/15: gnu: gxtuner: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 10/15: gnu: xjackfreak: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 09/15: gnu: rsound: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 02/15: gnu: portmidi-for-extempore: Fetch sources from git.,
Ricardo Wurmus <=
- 08/15: gnu: rtmidi: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 11/15: gnu: cuetools: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 14/15: gnu: cava: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 07/15: gnu: infamous-plugins: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 05/15: gnu: csound: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 03/15: gnu: ams-lv2: Fetch sources from git., Ricardo Wurmus, 2018/11/10
- 12/15: gnu: dcadec: Fetch sources from git., Ricardo Wurmus, 2018/11/10