gnu: Add texlive-microtype.
authorPaul Garlick <pgarlick@tourbillion-technology.com>
Fri, 18 Sep 2020 14:07:27 +0000 (15:07 +0100)
committerPaul Garlick <pgarlick@tourbillion-technology.com>
Fri, 18 Sep 2020 14:10:13 +0000 (15:10 +0100)
commit389b71aa0f756608236565067f2f77ee1f9390da
tree14f93961a1db7b94a397be83ff117e6f027891dd
parent62f9921c830129ff9f484472a078cf0a35e526dc
gnu: Add texlive-microtype.

* gnu/packages/tex.scm (texlive-microtype): New variable.
gnu/packages/tex.scm