diff options
author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-05-13 16:39:53 +0200 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-18 18:10:53 +0200 |
commit | fae2a0f07514be7c709781bdad7369a53c08350b (patch) | |
tree | 4ace7d841b7cc8cf369d8e14da81710b2303a971 /gnu/packages/coq.scm | |
parent | f0a491f717f5719af4ece891ca5133da6ba36adf (diff) |
gnu: texlive-latex-overpic -> texlive-overpic.
* gnu/packages/tex.scm (texlive-overpic): New variable.
(texlive-latex-overpic): Deprecate variable.
* gnu/packages/docbook.scm (dblatex): Use new name.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions