aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorAlex Vong <alexvong1995@gmail.com>2019-08-08 13:56:56 +0800
committerAlex Vong <alexvong1995@gmail.com>2019-09-17 13:29:31 +0800
commitdd97a9c4da44d490ea440f2ad774254ee26b99ac (patch)
tree206d7aef5f0c14676fafc302b74166840289d760 /gnu/packages/agda.scm
parent58ac928925f4593bfc45c723c2f5cd2d93ba995b (diff)
downloadguix-dd97a9c4da44d490ea440f2ad774254ee26b99ac.tar
guix-dd97a9c4da44d490ea440f2ad774254ee26b99ac.tar.gz
gnu: Add python2-tegaki-tools.
* gnu/packages/language.scm (python2-tegaki-tools): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions