aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
8d82864212b5f432043'>3c3e6620aebb6e0d82b268d82864212b5f432043 (diff)
authorDanny Milosavljevic <dannym@scratchpost.org>2019-02-12 04:09:28 +0100
committerDanny Milosavljevic <dannym@scratchpost.org>2019-02-15 17:49:08 +0100
commitf7c4853a6b615f49
2016-09-01packages: Add 'package-input-rewriting'....* guix/packages.scm (package-input-rewriting): New procedure. * tests/packages.scm ("package-input-rewriting"): New test. * doc/guix.texi (Defining Packages): Document it. (Package Transformation Options): Add cross-reference. Ludovic Courtès
downloadguix-f7c4853a6b615f49ed7eb9e7cf9b7d8a1b46f30e.tar.gz
guix-f7c4853a6b615f49ed7eb9e7cf9b7d8a1b46f30e.zip
gnu: Add genimage.
* gnu/packages/genimage.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions