aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2022-01-09 02:07:46 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2022-01-10 00:32:35 +0100
commit2717f180c4cba1da713c8fb54c0111bf64327e6d (patch)
treedf156a169e2178dc6b50c23c858a495bfda75c98 /gnu/packages/agda.scm
parent294476022f19139e290acb448d4575de0f851673 (diff)
downloadguix-2717f180c4cba1da713c8fb54c0111bf64327e6d.tar
guix-2717f180c4cba1da713c8fb54c0111bf64327e6d.tar.gz
gnu: libportal: Remove input labels.
* gnu/packages/freedesktop.scm (libportal)[native-inputs]: Remove input labels.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions