me
/
guix
Archived
1
0
Fork 0
Code

gnu: Add texlive-ptolemaicastronomy. 

* gnu/packages/tex.scm (texlive-ptolemaicastronomy): New variable.
Nicolas Goaziou 2023-07-13 09:21:55 +02:00
parent 56b0bf0847
commit 79272bedc1
No known key found for this signature in database
GPG Key ID: DA00B4F048E92F2D
1 changed files with 23 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
gnu/packages/tex.scm
View File

@ -3512,6 +3512,29 @@ and glued together. This will lead to a physical product box.")
(list
(license:fsf-free "https://tug.ctan.org/macros/latex/contrib/gene/productbox/productbox.ins")))))
(define-public texlive-ptolemaicastronomy
(package
(name "texlive-ptolemaicastronomy")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/ptolemaicastronomy/"
"source/latex/ptolemaicastronomy/"
"tex/latex/ptolemaicastronomy/")
(base32
"05j082s8aj57lzbxlhddi7f6gscpl5j66zmmaj6kabpnv152r0l7")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/ptolemaicastronomy")
(synopsis "Diagrams of sphere models for variably strict conditionals")
(description
"David K. Lewis (Counterfactuals, Blackwell 1973) introduced a sphere
semantics for counterfactual conditionals. He jokingly referred to the
diagrams depicting such sphere models as Ptolemaic astronomy, hence the name
of this package. The macros provided in this package aid in the construction
of sphere model diagrams in the style of Lewis.")
(license license:lppl1.3c)))
(define-public texlive-amiri
(package
(name "texlive-amiri")