diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-07-06 00:01:53 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-06 00:02:41 +0200 |
commit | ad01c7aa14683362a128d989de6ded9219da0384 (patch) | |
tree | dde9dae86773233f2c155d69b29b87a1609a004f /etc | |
parent | 298fd38b4ba5ca7991590840a46aa7d401b844dd (diff) | |
download | patches-ad01c7aa14683362a128d989de6ded9219da0384.tar patches-ad01c7aa14683362a128d989de6ded9219da0384.tar.gz |
gnu: artanis: Update source URL.
* gnu/packages/guile.scm (artanis)[source]: Change URL to mirror://gnu.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions