diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 16:20:39 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 19:41:40 +0200 |
| commit | 27afa28be17e046c87c326e096fb7f9fe9cba729 (patch) | |
| tree | 489536e11175359304116754359f936d886201ba | |
| parent | d4f735ae457af0bc8656c5c906282ed93cef4971 (diff) | |
| download | guix-27afa28be17e046c87c326e096fb7f9fe9cba729.tar guix-27afa28be17e046c87c326e096fb7f9fe9cba729.tar.gz | |
gnu: Add texlive-gene-logic.
* gnu/packages/tex.scm (texlive-gene-logic): New variable.
| -rw-r--r-- | gnu/packages/tex.scm | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 1961bc4659..c0be211113 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -3759,6 +3759,26 @@ possibility to override the standard behavior of norms, ...).") nets, diagrams, etc., very easily, in the LaTeX @code{picture} environment.") (license license:lppl))) +(define-public texlive-gene-logic + (package + (name "texlive-gene-logic") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/latex/gene-logic/" + "tex/latex/gene-logic/") + (base32 + "13nibrf1f1w92ia7fj8yfa44w9c5wiyy1ndaby5p6bbjdjcxhyv9"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/gene-logic") + (synopsis "Typeset logic formulae, etc") + (description + "The package provides a facility to typeset certain logic formulae. It +provides an environment like @code{eqnarray}, a @code{newtheorem}-like +environment (NewTheorem), and several macros.") + (license license:isc))) + (define-public texlive-bibtex8 (package (name "texlive-bibtex8") |