diff options
author | Maxime Devos <maximedevos@telenet.be> | 2021-08-20 14:48:48 +0200 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2021-08-20 18:33:51 +0200 |
commit | e1ffd78270881e0c5b3f12a60a0caa75300557e7 (patch) | |
tree | 964a94c1223105cbca020e54349a24ce527988a3 /gnu/ci.scm | |
parent | 8717b34cd42548f6071acfb2f9ed0491b8cc63e1 (diff) | |
download | guix-e1ffd78270881e0c5b3f12a60a0caa75300557e7.tar.gz |
gnu: dedukti: Fix reference to output.
* gnu/packages/ocaml.scm (dedukti)[arguments]<#:phases>: Use #$output. Remove trailing #t. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
Diffstat (limited to 'gnu/ci.scm')
0 files changed, 0 insertions, 0 deletions