diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-16 13:54:15 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-24 09:46:49 +0200 |
| commit | 1aaa117c0cbe0f7067ec3ad28b274260c0495c32 (patch) | |
| tree | f11d23903d016d71efbbef91a5ccce853a9a21e9 /gnu/packages/mpi.scm | |
| parent | 1f50ae63465406fbeb45b49bea8d332df0d6b9e8 (diff) | |
| download | patches-1aaa117c0cbe0f7067ec3ad28b274260c0495c32.tar patches-1aaa117c0cbe0f7067ec3ad28b274260c0495c32.tar.gz | |
gnu: Add texlive-times.
* gnu/packages/tex.scm (texlive-times): New variable.
(texlive-fonts-adobe-times): Deprecate package.
Diffstat (limited to 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions