diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-13 09:21:55 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-18 18:17:37 +0200 |
| commit | 79272bedc17dfabdc7c8ef9ce71aa9d3506530c7 (patch) | |
| tree | d7bff96c5b622afd9be8e6a31a5abe4d645627c2 | |
| parent | 56b0bf0847ef9fa5555c4dc619c1ce918520bb6c (diff) | |
| download | guix-79272bedc17dfabdc7c8ef9ce71aa9d3506530c7.tar.gz guix-79272bedc17dfabdc7c8ef9ce71aa9d3506530c7.zip | |
gnu: Add texlive-ptolemaicastronomy.
* gnu/packages/tex.scm (texlive-ptolemaicastronomy): New variable.
| -rw-r--r-- | gnu/packages/tex.scm | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 463d4cadda..6baafeb931 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -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") |