ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-19 09:22:05 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add texlive-gene-logic.

Browse source 
* gnu/packages/tex.scm (texlive-gene-logic): New variable.
This commit is contained in:
Nicolas Goaziou 2023-07-30 16:20:39 +02:00
parent d4f735ae45
commit 27afa28be1
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D
1 changed files with 20 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
gnu/packages/tex.scm
View file

@ -3759,6 +3759,26 @@ (define-public texlive-gastex
nets, diagrams, etc., very easily, in the LaTeX @code{picture} environment.") nets, diagrams, etc., very easily, in the LaTeX @code{picture} environment.")
(license license:lppl))) (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 (define-public texlive-bibtex8
(package (package
(name "texlive-bibtex8") (name "texlive-bibtex8")