[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
111/435: gnu: texlive-latex-ebproof -> texlive-ebproof.
From: |
guix-commits |
Subject: |
111/435: gnu: texlive-latex-ebproof -> texlive-ebproof. |
Date: |
Tue, 6 Jun 2023 11:39:27 -0400 (EDT) |
ngz pushed a commit to branch tex-team-next
in repository guix.
commit 0658457808dc521b8d030603c5e9a20d2bb14224
Author: Nicolas Goaziou <mail@nicolasgoaziou.fr>
AuthorDate: Sun May 14 14:45:08 2023 +0200
gnu: texlive-latex-ebproof -> texlive-ebproof.
* gnu/packages/tex.scm (texlive-ebproof): New variable.
(texlive-latex-ebproof): Deprecate variable.
---
gnu/packages/tex.scm | 31 ++++++++++++++-----------------
1 file changed, 14 insertions(+), 17 deletions(-)
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
index 22484b7b7e..67a8c4edca 100644
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@@ -11445,27 +11445,22 @@ theorems. The package supports saving and reuse of
source code and text
parts.")
(license license:lppl1.3c+))))
-(define-public texlive-latex-ebproof
+(define-public texlive-ebproof
(package
- (name "texlive-latex-ebproof")
- (version "2.1.1")
- (source
- (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://framagit.org/manu/ebproof")
- (commit version)))
- (file-name (git-file-name name version))
- (sha256
- (base32
- "1zkrfaf343js0yc1x7m3d8hzbh5izn0lb01jrmdpjm51kdbh30xq"))))
+ (name "texlive-ebproof")
+ (version (number->string %texlive-revision))
+ (source (texlive-origin
+ name version
+ (list "doc/latex/ebproof/" "source/latex/ebproof/"
+ "tex/latex/ebproof/")
+ (base32
+ "1a3203jgxsgihfgb6wwm0gfpaxbf1lg5axcakan9rj316xrrj4lc")))
+ (outputs '("out" "doc"))
(build-system texlive-build-system)
- (arguments '(#:tex-directory "latex/ebproof"))
(propagated-inputs
(list texlive-l3kernel))
- (home-page "http://www.ctan.org/pkg/ebproof")
- (synopsis
- "Formal proofs in the style of sequent calculus")
+ (home-page "https://ctan.org/pkg/ebproof")
+ (synopsis "Formal proofs in the style of sequent calculus")
(description
"This package provides commands to typeset proof trees in the style of
sequent calculus and related systems. The commands allow for writing
@@ -11474,6 +11469,8 @@ an arbitrary point. Various options allow complete
control over spacing,
styles of inference rules, placement of labels, etc.")
(license license:lppl1.3+)))
+(define-deprecated-package texlive-latex-ebproof texlive-ebproof)
+
(define-public texlive-latex-bussproofs
(let ((template (simple-texlive-package
"texlive-latex-bussproofs"
- 147/435: gnu: texlive-sourcesanspro: Refresh package definition., (continued)
- 147/435: gnu: texlive-sourcesanspro: Refresh package definition., guix-commits, 2023/06/06
- 148/435: gnu: texlive-physics: Refresh package definition., guix-commits, 2023/06/06
- 151/435: gnu: texlive-everysel: Refresh package definition., guix-commits, 2023/06/06
- 155/435: gnu: texlive-tracklang: Refresh package definition., guix-commits, 2023/06/06
- 156/435: gnu: texlive-datetime2: Refresh package definition., guix-commits, 2023/06/06
- 160/435: gnu: Add texlive-lipsum., guix-commits, 2023/06/06
- 152/435: gnu: texlive-relsize: Refresh package definition., guix-commits, 2023/06/06
- 162/435: gnu: Add texlive-selinput., guix-commits, 2023/06/06
- 189/435: gnu: texlive-fourier: Refresh package definition., guix-commits, 2023/06/06
- 93/435: gnu: texlive-preprint: Fix build., guix-commits, 2023/06/06
- 111/435: gnu: texlive-latex-ebproof -> texlive-ebproof.,
guix-commits <=
- 117/435: gnu: texlive-latex-koma-script -> texlive-koma-script., guix-commits, 2023/06/06
- 127/435: gnu: Add texlive-newverbs., guix-commits, 2023/06/06
- 120/435: gnu: texlive-fonts-rsfs -> texlive-rsfs., guix-commits, 2023/06/06
- 136/435: gnu: texlive-adjustbox: Refresh package definition., guix-commits, 2023/06/06
- 74/435: gnu: texlive-latex-cmap -> texlive-cmap., guix-commits, 2023/06/06
- 79/435: gnu: texlive-latex-jknapltx -> texlive-jknapltx., guix-commits, 2023/06/06
- 176/435: gnu: texlive-xifthen: Refresh package definition., guix-commits, 2023/06/06
- 178/435: gnu: texlive-eurosym: Refresh package definition., guix-commits, 2023/06/06
- 180/435: gnu: Add texlive-listngsutf8., guix-commits, 2023/06/06
- 202/435: gnu: texlive-biblatex-apa: Refresh package definition., guix-commits, 2023/06/06