[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
95/245: gnu: Add texlive-gene-logic.
From: |
guix-commits |
Subject: |
95/245: gnu: Add texlive-gene-logic. |
Date: |
Sun, 30 Jul 2023 13:46:44 -0400 (EDT) |
ngz pushed a commit to branch master
in repository guix.
commit 27afa28be17e046c87c326e096fb7f9fe9cba729
Author: Nicolas Goaziou <mail@nicolasgoaziou.fr>
AuthorDate: Sun Jul 30 16:20:39 2023 +0200
gnu: Add texlive-gene-logic.
* gnu/packages/tex.scm (texlive-gene-logic): New variable.
---
gnu/packages/tex.scm | 20 ++++++++++++++++++++
1 file changed, 20 insertions(+)
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")
- 65/245: gnu: Add texlive-derivative., (continued)
- 65/245: gnu: Add texlive-derivative., guix-commits, 2023/07/30
- 70/245: gnu: Add texlive-drawstack., guix-commits, 2023/07/30
- 73/245: gnu: Add texlive-econometrics., guix-commits, 2023/07/30
- 82/245: gnu: Add texlive-eqnnumwarn., guix-commits, 2023/07/30
- 75/245: gnu: Add texlive-emf., guix-commits, 2023/07/30
- 78/245: gnu: Add texlive-iexec., guix-commits, 2023/07/30
- 81/245: gnu: Add texlive-eqnarray., guix-commits, 2023/07/30
- 84/245: gnu: Add texlive-extarrows., guix-commits, 2023/07/30
- 89/245: gnu: Add texlive-fixmath., guix-commits, 2023/07/30
- 90/245: gnu: Add texlive-fnspe., guix-commits, 2023/07/30
- 95/245: gnu: Add texlive-gene-logic.,
guix-commits <=
- 104/245: gnu: Add texlive-hepnames., guix-commits, 2023/07/30
- 117/245: gnu: Add texlive-karnaughmap., guix-commits, 2023/07/30
- 106/245: gnu: Add texlive-hepthesis., guix-commits, 2023/07/30
- 121/245: gnu: Add texlive-logicproof., guix-commits, 2023/07/30
- 129/245: gnu: Add texlive-mathlig., guix-commits, 2023/07/30
- 131/245: gnu: Add texlive-mathpunctspace., guix-commits, 2023/07/30
- 158/245: gnu: Add texlive-numerica-tables., guix-commits, 2023/07/30
- 177/245: gnu: Add texlive-prooftrees., guix-commits, 2023/07/30
- 165/245: gnu: Add texlive-perfectcut., guix-commits, 2023/07/30
- 168/245: gnu: Add texlive-physics2., guix-commits, 2023/07/30