summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorAlex Griffin <a@ajgrf.com>2019-04-20 11:59:35 -0500
committerChristopher Baines <mail@cbaines.net>2019-04-22 10:28:43 +0100
commit54b41d2d7158f1696a663ac2ae46661e759a1648 (patch)
tree5351e3dd41b7efcc8290cdf2da7bfb69e4f525e7 /gnu/packages/agda.scm
parent555415564964d82d36db8ee63c00c5d178691830 (diff)
downloadguix-54b41d2d7158f1696a663ac2ae46661e759a1648.tar.gz
gnu: Add pass-otp.
* gnu/packages/password-utils.scm (pass-otp): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions