From f006e7939a0fb875bccec13191d11d7b5c3aaf12 Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Sun, 30 Jul 2023 16:31:17 +0200 Subject: [PATCH] gnu: Add texlive-membranecomputing. * gnu/packages/tex.scm (texlive-membranecomputing): New variable. --- gnu/packages/tex.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 1a5e494f63..01fed01950 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -4710,6 +4710,27 @@ (define-public texlive-mecaso 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")