summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2018-08-10 02:36:51 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2018-08-14 15:54:30 +0200
commite9ce64250a41d402e0031bd13f96cc6c9b44bbb7 (patch)
treeba9ee3d32937cc5898e6c253c9e7e4c02da58237 /gnu/packages/agda.scm
parent7fcb3935fa0a666e6441f587200c16a39341263b (diff)
downloadguix-e9ce64250a41d402e0031bd13f96cc6c9b44bbb7.tar.gz
gnu: password-store: Use INSTALL-FILE.
* gnu/packages/password-utils.scm (password-store)[arguments]:
Substitute a more concise INSTALL-FILE invocation for COPY-FILE.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions