aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2020-01-28 10:15:43 +0200
committerEfraim Flashner <efraim@flashner.co.il>2020-01-28 10:20:57 +0200
commit84c10c3b22314f93ecd25fc25662391be9e0814d (patch)
treeab72f5a3b8a7af94c10922df3bbdca26cffd5603 /gnu/packages/idris.scm
parent2545ab2a0c6841c47e04d3ef874da311dc213213 (diff)
downloadpatches-84c10c3b22314f93ecd25fc25662391be9e0814d.tar
patches-84c10c3b22314f93ecd25fc25662391be9e0814d.tar.gz
gnu: gourmet: Adjust install phase.
* gnu/packages/nutrition.scm (gourmet)[arguments]: Adjust custom 'install phase.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions