diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-08-28 00:19:48 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-08-28 00:27:14 +0200 |
| commit | 48752f277c589435aab4d80947fa80f01577d55d (patch) | |
| tree | 9c2d869dce51a476a09795671817aa664b4bf6c1 /gnu/system | |
| parent | 276f598abc12eaae01fbea0c0bbba577a93bcbdb (diff) | |
| download | guix-48752f277c589435aab4d80947fa80f01577d55d.tar.gz guix-48752f277c589435aab4d80947fa80f01577d55d.zip | |
gnu: agda-ial: Fetch source from Git.
This addresses a 'guix lint' warning.
* gnu/packages/agda.scm (agda-ial)[source]: Change to use 'git-fetch'.
[arguments]: Change 'install phase accordingly; adjust its 'find-files'
regexp.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions