diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-05-17 11:28:48 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-18 18:12:24 +0200 |
| commit | 124d6cf6c93da5690a92c17b4244298f4d196fda (patch) | |
| tree | ec6740aa214c8400fb3bacf45be71d434cf8604c /gnu/packages/lean.scm | |
| parent | 021d0216e0c6939ce45bb8814160a591e4634228 (diff) | |
| download | guix-124d6cf6c93da5690a92c17b4244298f4d196fda.tar.gz | |
gnu: Add texlive-manfnt.
* gnu/packages/tex.scm (texlive-manfnt): New variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions