diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-08-22 15:16:34 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-08-24 11:10:14 +0200 |
| commit | 60f0e796488de38ffc688ba764fd4abcaec1a154 (patch) | |
| tree | d21c4cf3263c5d1134941415549750bce17aef4a /gnu/packages/agda.scm | |
| parent | 77427017f78d40cee70e27074fdf74a781e04df8 (diff) | |
gnu: Add texlive-anonymous-acm.
* gnu/packages/tex.scm (texlive-anonymous-acm): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions