me
/
guix
Archived
1
0
Fork 0

gnu: Add texlive-membranecomputing.

* gnu/packages/tex.scm (texlive-membranecomputing): New variable.
Nicolas Goaziou 2023-07-30 16:31:17 +02:00
parent ccad0d2cef
commit f006e7939a
No known key found for this signature in database
GPG Key ID: DA00B4F048E92F2D
1 changed files with 21 additions and 0 deletions

View File

@ -4710,6 +4710,27 @@ mechanics. Since most of these formulas are long and tedious to write, this
package wraps them up in short commands.")
(license license:gpl3+)))
(define-public texlive-membranecomputing
(package
(name "texlive-membranecomputing")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/membranecomputing/"
"tex/latex/membranecomputing/")
(base32
"1r5k8ipf435vvffr7da8nl2j14myfp102i5qf0yy0jczziddbq6z")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/membranecomputing")
(synopsis "Membrane Computing notation")
(description
"This is a LaTeX package for the Membrane Computing community. It
comprises the definition of @samp{P} systems, rules and some concepts related
to languages and computational complexity usually needed for Membrane
Computing research.")
(license license:lppl1.3+)))
(define-public texlive-bibtex8
(package
(name "texlive-bibtex8")