summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2024-05-28 00:39:50 +0200
committerLudovic Courtès <ludo@gnu.org>2024-08-31 10:45:25 +0200
commit9a9a45449534295af91d1dd1f1076d1a60a0d639 (patch)
tree2287e4d962e84204499983755387a7ee0a9689f0 /gnu/packages/agda.scm
parenta3756547f5c33f53525ca727980da370c2a5839c (diff)
downloadguix-9a9a45449534295af91d1dd1f1076d1a60a0d639.tar.gz
gnu: Add texlive-upmendex-bin.
* gnu/packages/tex.scm (texlive-upmendex-bin): New variable.
(texlive-upmendex)[propagated-inputs]: Add TEXLIVE-UPMENDEX-BIN.

Change-Id: I4212732a116800942577fc2e1fa7b8179fe094b0
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions