ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-08 16:06:16 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add texlive-principia.

Browse source 
* gnu/packages/tex.scm (texlive-principia): New variable.
This commit is contained in:
Nicolas Goaziou 2023-07-30 16:41:50 +02:00
parent 7b8af06900
commit 7fb8654f8f
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D
1 changed files with 19 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
gnu/packages/tex.scm
View file

@ -5560,6 +5560,25 @@ (define-public texlive-prftree
deduction calculi, sequent-like calculi, and similar.")
(license license:gpl3+)))
(define-public texlive-principia
(package
(name "texlive-principia")
(version (number->string %texlive-revision))
(source (texlive-origin
name version
(list "doc/latex/principia/"
"tex/latex/principia/")
(base32
"1pq9plcp0zp5a4nhz80kbkhbg00axp10p20r1bwq4ck7giwci3jf")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(home-page "https://ctan.org/pkg/principia")
(synopsis "Notations for typesetting the @emph{Principia Mathematica}")
(description
"This package supports typesetting the Peanese notation in Volume I of
Whitehead and Russell's 1910 @emph{Principia Mathematica}.")
(license license:lppl1.3c)))
(define-public texlive-bibtex8
(package
(name "texlive-bibtex8")