diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-15 10:21:50 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-15 13:05:22 +0100 |
| commit | c2a1fe4ad2dd5eed7eb7fd4f0b68c58a1d2ae7ee (patch) | |
| tree | 5290bc07a41347145435826ea7afe19fb8952116 /gnu/packages/coq.scm | |
| parent | 4e9242aaeb5e69049aedc2972ea3b2dbfe2d797e (diff) | |
| download | guix-c2a1fe4ad2dd5eed7eb7fd4f0b68c58a1d2ae7ee.tar.gz | |
gnu: Add texlive-fonts-lm.
* gnu/packages/tex.scm (texlive-fonts-lm): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions