diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2021-05-03 13:42:55 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2021-05-03 15:36:13 +0200 |
| commit | 04cbef14ff6ac2e1c89214ceafcb21103f40031f (patch) | |
| tree | d9e4033cea846b42be4c1f9284561fbf93744334 /gnu/packages/agda.scm | |
| parent | 5874f8a051ba6696412b826a4313f27d9d5407cc (diff) | |
| download | guix-04cbef14ff6ac2e1c89214ceafcb21103f40031f.tar.gz | |
gnu: Add texlive-pagenote.
* gnu/packages/tex.scm (texlive-pagenote): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions