diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2021-06-05 09:23:30 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2021-06-05 09:26:14 +0200 |
commit | 232bdb900de520333fb776b40ac2bf8933d7f293 (patch) | |
tree | 1167573ce37d707cc856b8d3387ad77f74948151 /gnu/packages/music.scm | |
parent | 41bbbd53d2a4b8ad059c9a943e28fe7dda479149 (diff) |
gnu: gnuradio: Use patched texlive-amsfonts.
* gnu/packages/radio.scm (gnuradio)[native-inputs]: Use
texlive-amsfonts/patched.
Diffstat (limited to 'gnu/packages/music.scm')
0 files changed, 0 insertions, 0 deletions