diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-11-19 18:57:27 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-11-21 14:06:07 +0100 |
| commit | 96cae1b48c12b7b5b4a68d86ac9d714cab2d9881 (patch) | |
| tree | 0a5e0ee27c873bbe2adae29efcd9fa1539e90342 /gnu/packages/agda.scm | |
| parent | 1255400faabfcf0ca1666d17f2f34ea0d49f6b1f (diff) | |
gnu: font-ubuntu: Update url.
* gnu/packages/fonts.scm (font-ubuntu): Use new url, update hash.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions