diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-08-22 17:20:48 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-08-24 11:11:28 +0200 |
| commit | aa5089ca880122375a6f3f5a2c5ef487f7f611b4 (patch) | |
| tree | 2f08ad78a82e79694b45fce04416cb51f3158104 /gnu/packages/coq.scm | |
| parent | 2ea41e2db84d2bf2882861c684eb996a170a9ff1 (diff) | |
| download | guix-aa5089ca880122375a6f3f5a2c5ef487f7f611b4.tar.gz | |
gnu: Add texlive-imakeidx.
* gnu/packages/tex.scm (texlive-imakeidx): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions