summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-05-21 04:00:06 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2020-05-21 14:54:48 +0200
commitc1ab9e881a0a5ba840ddb998dd7c60f6649f0f69 (patch)
tree0328e79692f8be2a1fb0c294dd425ebec82c81db /gnu/packages/idris.scm
parent1ee8b7192c761136f9d4aa3e32b940360dc888df (diff)
gnu: uhttpmock: Don't use NAME in source URI.
* gnu/packages/web.scm (uhttpmock)[source]: Hard-code NAME.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions