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 /doc/images/service-graph.dot | |
parent | 276f598abc12eaae01fbea0c0bbba577a93bcbdb (diff) | |
download | patches-48752f277c589435aab4d80947fa80f01577d55d.tar patches-48752f277c589435aab4d80947fa80f01577d55d.tar.gz |
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 'doc/images/service-graph.dot')
0 files changed, 0 insertions, 0 deletions