[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
124/245: gnu: Add texlive-lplfitch.
From: |
guix-commits |
Subject: |
124/245: gnu: Add texlive-lplfitch. |
Date: |
Sun, 30 Jul 2023 13:46:49 -0400 (EDT) |
ngz pushed a commit to branch master
in repository guix.
commit c735e724b569430ab81bf37ed1f2eced539a0884
Author: Nicolas Goaziou <mail@nicolasgoaziou.fr>
AuthorDate: Sun Jul 30 16:28:48 2023 +0200
gnu: Add texlive-lplfitch.
* gnu/packages/tex.scm (texlive-lplfitch): New variable.
---
gnu/packages/tex.scm | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
index 1536610527..8f98fea9d3 100644
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@@ -4432,6 +4432,28 @@ display any series of aligned equations with easy
labeling/referencing and
other customization options.")
(license license:lppl)))
+(define-public texlive-lplfitch
+ (package
+ (name "texlive-lplfitch")
+ (version (number->string %texlive-revision))
+ (source (texlive-origin
+ name version
+ (list "doc/latex/lplfitch/"
+ "source/latex/lplfitch/"
+ "tex/latex/lplfitch/")
+ (base32
+ "1x396k71r8sb04pby3h6snjzmyzmai9s11icgxf1vi9dswh191cz")))
+ (outputs '("out" "doc"))
+ (build-system texlive-build-system)
+ (home-page "https://ctan.org/pkg/lplfitch")
+ (synopsis "Fitch-style natural deduction proofs")
+ (description
+ "The package provides macros for typesetting natural deduction proofs in
+Fitch style, with subproofs indented and offset by scope lines. The proofs
+from use of the package are in the format used in the textbook @emph{Language,
+Proof, and Logic} by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.")
+ (license license:lppl1.3+)))
+
(define-public texlive-bibtex8
(package
(name "texlive-bibtex8")
- 79/245: gnu: Add texlive-eolang., (continued)
- 79/245: gnu: Add texlive-eolang., guix-commits, 2023/07/30
- 112/245: gnu: Add texlive-isomath., guix-commits, 2023/07/30
- 107/245: gnu: Add texlive-hepunits., guix-commits, 2023/07/30
- 100/245: gnu: Add texlive-gu., guix-commits, 2023/07/30
- 99/245: gnu: Add texlive-grundgesetze., guix-commits, 2023/07/30
- 110/245: gnu: Add texlive-interval., guix-commits, 2023/07/30
- 126/245: gnu: Add texlive-mathcommand., guix-commits, 2023/07/30
- 127/245: gnu: Add texlive-mathcomp., guix-commits, 2023/07/30
- 125/245: gnu: Add texlive-lstbayes., guix-commits, 2023/07/30
- 128/245: gnu: Add texlive-mathfixs., guix-commits, 2023/07/30
- 124/245: gnu: Add texlive-lplfitch.,
guix-commits <=
- 132/245: gnu: Add texlive-mathsemantics., guix-commits, 2023/07/30
- 137/245: gnu: Add texlive-membranecomputing., guix-commits, 2023/07/30
- 136/245: gnu: Add texlive-mecaso., guix-commits, 2023/07/30
- 135/245: gnu: Add texlive-mattens., guix-commits, 2023/07/30
- 139/245: gnu: Add texlive-messagepassing., guix-commits, 2023/07/30
- 133/245: gnu: Add texlive-matlab-prettifier., guix-commits, 2023/07/30
- 143/245: gnu: Add texlive-mhequ., guix-commits, 2023/07/30
- 159/245: gnu: Add texlive-objectz., guix-commits, 2023/07/30
- 145/245: gnu: Add texlive-mismath., guix-commits, 2023/07/30
- 146/245: gnu: Add texlive-multiobjective., guix-commits, 2023/07/30