From 57d2f6f87ae9c29eaf0adb7f95e38ae504da7db9 Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Tue, 29 Aug 2023 15:54:23 +0200 Subject: [PATCH] gnu: Add texlive-lkproof. * gnu/packages/tex.scm (texlive-lkproof): New variable. --- gnu/packages/tex.scm | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 304b922a02..f2987cc266 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -87364,6 +87364,24 @@ (define-public texlive-listofsymbols @file{nomencl.sty} does it.") (license license:lppl))) +(define-public texlive-lkproof + (package + (name "texlive-lkproof") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/latex/lkproof/" "tex/latex/lkproof/") + (base32 + "0hlf5wgvkbi12p52dy1jh7fq9d6sw8vma1hcv9s6b9fzk03h21v4"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/lkproof") + (synopsis "LK Proof figure macros") + (description + "The package defines a pair of commands @code{\\infer} and @code{\\deduce}, +that are used in constructing LK proof diagrams.") + (license license:gpl3+))) + ;;; ;;; Avoid adding new packages to the end of this file. To reduce the chances ;;; of a merge conflict, place them above by existing packages with similar