[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
112/435: gnu: texlive-latex-bussproofs -> texlive-bussproofs.
From: |
guix-commits |
Subject: |
112/435: gnu: texlive-latex-bussproofs -> texlive-bussproofs. |
Date: |
Tue, 6 Jun 2023 11:39:27 -0400 (EDT) |
ngz pushed a commit to branch tex-team-next
in repository guix.
commit 6f49204c9ec6b22e46ba2b9be0fc7b8be804f07a
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 67a8c4edca..0148d10053 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
- 82/435: gnu: texlive-latex-enotez -> texlive-enotez., (continued)
- 82/435: gnu: texlive-latex-enotez -> texlive-enotez., guix-commits, 2023/06/06
- 85/435: gnu: texlive-latex-parskip -> texlive-parskip., guix-commits, 2023/06/06
- 86/435: gnu: texlive-latex-pbox -> texlive-pbox., guix-commits, 2023/06/06
- 96/435: gnu: Add texlive-luacode., guix-commits, 2023/06/06
- 101/435: gnu: texlive-latex-preview -> texlive-preview., guix-commits, 2023/06/06
- 103/435: gnu: texlive-latex-media9 -> texlive-media9., guix-commits, 2023/06/06
- 104/435: gnu: texlive-latex-ocgx2 -> texlive-ocgx2., guix-commits, 2023/06/06
- 106/435: gnu: texlive-latex-eukdate -> texlive-eukdate., guix-commits, 2023/06/06
- 107/435: gnu: texlive-latex-readarray -> texlive-readarray., guix-commits, 2023/06/06
- 108/435: gnu: texlive-latex-verbatimbox -> texlive-verbatimbox., guix-commits, 2023/06/06
- 112/435: gnu: texlive-latex-bussproofs -> texlive-bussproofs.,
guix-commits <=
- 113/435: gnu: texlive-latex-textpos -> texlive-textpos., guix-commits, 2023/06/06
- 114/435: gnu: texlive-latex-hyphenat -> texlive-hyphenat., guix-commits, 2023/06/06
- 116/435: gnu: Add texlive-regexpatch., guix-commits, 2023/06/06
- 121/435: gnu: texlive-fonts-iwona -> texlive-iwona., guix-commits, 2023/06/06
- 100/435: gnu: texlive-latex-ucs -> texlive-ucs., guix-commits, 2023/06/06
- 105/435: gnu: texlive-latex-changepage -> texlive-changepage., guix-commits, 2023/06/06
- 109/435: gnu: texlive-latex-examplep -> texlive-examplep., guix-commits, 2023/06/06
- 110/435: gnu: texlive-latex-xmpincl -> texlive-xmpincl., guix-commits, 2023/06/06
- 115/435: gnu: texlive-latex-tabto-ltx -> texlive-tabto-ltx., guix-commits, 2023/06/06
- 77/435: gnu: texlive-latex-float -> texlive-float., guix-commits, 2023/06/06