guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

118/421: gnu: texlive-latex-bussproofs -> texlive-bussproofs.


From: guix-commits
Subject: 118/421: gnu: texlive-latex-bussproofs -> texlive-bussproofs.
Date: Sun, 28 May 2023 01:29:44 -0400 (EDT)

ngz pushed a commit to branch tex-team-next
in repository guix.

commit 0f604e11f20f20b034ddea218725d5948ae9937d
Author: Nicolas Goaziou <mail@nicolasgoaziou.fr>
AuthorDate: Sun May 14 14:46:40 2023 +0200

    gnu: texlive-latex-bussproofs -> texlive-bussproofs.
    
    * gnu/packages/tex.scm (texlive-bussproofs): New variable.
    (texlive-latex-bussproofs): Deprecate variable.
---
 gnu/packages/tex.scm | 43 +++++++++++++++++++------------------------
 1 file changed, 19 insertions(+), 24 deletions(-)

diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
index f9e30348e5..196684d364 100644
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@@ -11471,31 +11471,26 @@ styles of inference rules, placement of labels, etc.")
 
 (define-deprecated-package texlive-latex-ebproof texlive-ebproof)
 
-(define-public texlive-latex-bussproofs
-  (let ((template (simple-texlive-package
-                   "texlive-latex-bussproofs"
-                   (list "/doc/latex/bussproofs/"
-                         "/tex/latex/bussproofs/")
-                   (base32
-                    "1gb8y9g89fqw1kix4d2vb7mj440vlb8hnpsa3jqpk9yicndwcyk6"))))
-    (package
-      (inherit template)
-      (arguments
-       (substitute-keyword-arguments (package-arguments template)
-         ((#:tex-directory _ '())
-          "latex/bussproofs")
-         ((#:build-targets _ '())
-          ''()) ; "bussproofs.sty"
-         ((#:phases phases)
-          `(modify-phases ,phases
-             (add-after 'unpack 'chdir
-               (lambda _ (chdir "tex/latex/bussproofs")))))))
-      (home-page 
"https://www.math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/index.html";)
-      (synopsis "Formal proofs in the style of sequent calculus")
-      (description
-       "This package provides commands to typeset proof trees in the style of
+(define-public texlive-bussproofs
+  (package
+    (name "texlive-bussproofs")
+    (version (number->string %texlive-revision))
+    (source (texlive-origin
+             name version
+             (list "doc/latex/bussproofs/"
+                   "tex/latex/bussproofs/")
+             (base32
+              "1gb8y9g89fqw1kix4d2vb7mj440vlb8hnpsa3jqpk9yicndwcyk6")))
+    (outputs '("out" "doc"))
+    (build-system texlive-build-system)
+    (home-page "https://ctan.org/pkg/bussproofs";)
+    (synopsis "Proof trees in the style of the sequent calculus")
+    (description
+     "This package provides commands to typeset proof trees in the style of
 sequent calculus and related systems.")
-      (license license:lppl1.3+))))
+    (license license:lppl1.3+)))
+
+(define-deprecated-package texlive-latex-bussproofs texlive-bussproofs)
 
 (define-public texlive-euenc
   (package



reply via email to

[Prev in Thread] Current Thread [Next in Thread]