bug#49072: closed ([PATCH] gnu: Add texlive-latex-ebproof.)

[GNU bug Tracking System]

Your message dated Sat, 26 Jun 2021 23:00:55 +0200
with message-id <87pmw81gu0.fsf@gnu.org>
and subject line Re: bug#49072: [PATCH] gnu: Add texlive-latex-ebproof.
has caused the debbugs.gnu.org bug report #49072,
regarding [PATCH] gnu: Add texlive-latex-ebproof.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
49072: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=49072
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: Add texlive-latex-ebproof.
>
>
>
>
> Date: 
>
> Thu, 17 Jun 2021 15:19:39 +0200
>
>
>
>
> * gnu/packages/tex.scm (texlive-latex-ebproof): New variable.
> ---
>  gnu/packages/tex.scm | 30 ++++++++++++++++++++++++++++++
>  1 file changed, 30 insertions(+)
>
> diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
> index da19a57e59..086d6190dd 100644
> --- a/gnu/packages/tex.scm
> +++ b/gnu/packages/tex.scm
> @@ -16,6 +16,7 @@
>  ;;; Copyright © 2020, 2021 Paul Garlick <pgarlick@tourbillion-technology.com>
>  ;;; Copyright © 2021 Maxim Cournoyer <maxim.cournoyer@gmail.com>
>  ;;; Copyright © 2021 Leo Le Bouter <lle-bout@zaclys.net>
> +;;; Copyright © 2021 Xinglu Chen <public@yoctocell.xyz>
>  ;;;
>  ;;; This file is part of GNU Guix.
>  ;;;
> @@ -8546,6 +8547,35 @@ theorems.  The package supports saving and reuse of 
> source code and text
>  parts.")
>        (license license:lppl1.3c+))))
>  
> +(define-public texlive-latex-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"))))
> +    (build-system texlive-build-system)
> +    (arguments '(#:tex-directory "latex/ebproof"))
> +    (propagated-inputs
> +     `(("texlive-latex-l3kernel" ,texlive-latex-l3kernel)))
> +    (home-page "http://www.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
> +inferences with any number of premises and alignment of successive formulas on
> +an arbitrary point.  Various options allow complete control over spacing,
> +styles of inference rules, placement of labels, etc.")
> +    (license license:lppl1.3+)))
> +
>  (define-public texlive-eurosym
>    (let ((template (simple-texlive-package
>                     "texlive-eurosym"
>
> base-commit: 99529872738d8da71570fa224ec7f1393c32c9b5
> -- 
> 2.32.0
>
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#49072: [PATCH] gnu: Add texlive-latex-ebproof.
>
>
>
>
> Date: 
>
> Sat, 26 Jun 2021 23:00:55 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> Xinglu Chen <public@yoctocell.xyz> skribis:
>
> > * gnu/packages/tex.scm (texlive-latex-ebproof): New variable.
>
> Applied, thanks!
>
> Ludo'.
>
>
> --- End Message ---