diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-12 16:11:38 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-13 05:42:57 +0100 |
| commit | db3f5226ac16ff10a630bea96b1f4c53b252c310 (patch) | |
| tree | 6f8077e46974aa9978784498e40986d08b3d1a94 /gnu/packages/idris.scm | |
| parent | 0a87bc9c2bd3d5eaef5b5d026d4e75755f33d3c2 (diff) | |
| download | patches-db3f5226ac16ff10a630bea96b1f4c53b252c310.tar patches-db3f5226ac16ff10a630bea96b1f4c53b252c310.tar.gz | |
gnu: knot: Don't use NAME in source URI.
* gnu/packages/dns.scm (knot)[source]: Hard-code NAME.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions