guix-commits
[Top][All Lists]
Advanced

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

111/409: gnu: texlive-latex-ebproof -> texlive-ebproof.


From: guix-commits
Subject: 111/409: gnu: texlive-latex-ebproof -> texlive-ebproof.
Date: Sat, 20 May 2023 04:02:31 -0400 (EDT)

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

commit 712a40c6bc2711eef60770fd88ddbcd7b8267248
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 7bccdfa041..f9e30348e5 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"



reply via email to

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