summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-05-25 19:40:36 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2020-05-26 00:19:40 +0200
commit00c63b8d9dd264b930deeb496713ebce7d2bace2 (patch)
treef16c522d2dd016cee5b96fefcc64c7083df1064d /gnu/packages/agda.scm
parent53bd021f1b3ff78150e75af28b13b2da08af6d36 (diff)
gnu: lxsession: Don't use NAME in source URI.
* gnu/packages/lxde.scm (lxsession)[source]: Hard-code NAME.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions