texlive-bussproofs-doc-svn27488.1.1-25.fc29.noarch.rpm


Advertisement

Description

texlive-bussproofs-doc - Documentation for bussproofs

Property Value
Distribution Fedora 29
Repository Fedora Updates i386
Package filename texlive-bussproofs-doc-svn27488.1.1-25.fc29.noarch.rpm
Package name texlive-bussproofs-doc
Package version svn27488.1.1
Package release 25.fc29
Package architecture noarch
Package type rpm
Homepage http://tug.org/texlive/
License Artistic 2.0 and GPLv2 and GPLv2+ and LGPLv2+ and LPPL and MIT and Public Domain and UCD and Utopia
Maintainer -
Download size 124.45 KB
Installed size 173.26 KB
Documentation for bussproofs

Alternatives

Package Version Architecture Repository
texlive-bussproofs-doc-svn27488.1.1-25.fc29.noarch.rpm svn27488.1.1 noarch Fedora Updates
texlive-bussproofs-doc-svn27488.1.1-20.fc29.noarch.rpm svn27488.1.1 noarch Fedora
texlive-bussproofs-doc-svn27488.1.1-20.fc29.noarch.rpm svn27488.1.1 noarch Fedora
texlive-bussproofs-doc - - -

Provides

Name Value
tex-bussproofs-doc -
texlive-bussproofs-doc = svn27488.1.1-25.fc29

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package texlive-bussproofs-doc-svn27488.1.1-25.fc29.noarch.rpm
Source Package texlive-2018-25.fc29.src.rpm

Install Howto

Install texlive-bussproofs-doc rpm package:

# dnf install texlive-bussproofs-doc

Files

Path
/usr/share/licenses/texlive-bussproofs-doc/lppl1.3.txt
/usr/share/texlive/texmf-dist/doc/latex/bussproofs/BussGuide2.pdf
/usr/share/texlive/texmf-dist/doc/latex/bussproofs/BussGuide2.tex
/usr/share/texlive/texmf-dist/doc/latex/bussproofs/README.txt
/usr/share/texlive/texmf-dist/doc/latex/bussproofs/testbp2.pdf
/usr/share/texlive/texmf-dist/doc/latex/bussproofs/testbp2.tex

Changelog

2019-02-08 - Tom Callaway <spot@fedoraproject.org> - 8:2018-25
- add dependency on translations.sty to texlive-xsim (bz1637642)
- handle upgrades for uantwerpendocs (bz1644398)
2019-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 8:2018-24
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-12-14 - Tom Callaway <spot@fedoraproject.org> - 8:2018-23
- add missing Provide to texlive-ocgx2, and add Requires on that provide to texlive-media9
Fun fact: This makes them completely circular dependencies.
2018-11-13 - Edgar Hoch <edgar.hoch@ims.uni-stuttgart.de> - 8:2018-22
- fix #1649084 - replace 2014-05-21 with 2018-03-31 in dehyph-exptl subpackage
2018-10-31 - Than Ngo <than@redhat.com> - 8:2018-21
- fixed #1643664 - texlive-scheme-full installation failure
2018-10-05 - Tom Callaway <spot@fedoraproject.org> - 8:2018-20
- artificial release bump to work around bug in koji (https://pagure.io/koji/issue/1119)
2018-10-01 - Tom Callaway <spot@fedoraproject.org> - 8:2018-2
- fix collection-texworks to depend on texlive-texworks-doc (texworks is windows only) (bz1634313)
2018-09-21 - Tom Callaway <spot@fedoraproject.org> - 8:2018-1
- update ALL THE THINGS
- bump epoch
- use a mirror that isn't broken/evil
- use %sources macro to make things nicer in the spec file
- hopefully fix all broken dependencies
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 7:2017-17
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-10 - Tom Callaway <spot@fedoraproject.org> - 7:2017-16
- add algobox
- remove Provides: tex(textcase.sty) from revtex4 (used to live there, now it is in textcase)
- add versioning to mensa-tex provide

See Also

Package Description
texlive-bussproofs-svn27488.1.1-25.fc29.noarch.rpm Proof trees in the style of the sequent calculus
texlive-bxbase-doc-svn44481-25.fc29.noarch.rpm Documentation for bxbase
texlive-bxbase-svn44481-25.fc29.noarch.rpm BX bundle base components
texlive-bxcalc-svn46482-25.fc29.noarch.rpm To extend the functionality of the calc package
texlive-bxcjkjatype-doc-svn42292-25.fc29.noarch.rpm Documentation for bxcjkjatype
texlive-bxcjkjatype-svn42292-25.fc29.noarch.rpm Typeset Japanese with pdfLaTeX and CJK
texlive-bxdpx-beamer-doc-svn41813-25.fc29.noarch.rpm Documentation for bxdpx-beamer
texlive-bxdpx-beamer-svn41813-25.fc29.noarch.rpm Dvipdfmx extras for use with beamer
texlive-bxdvidriver-doc-svn43219-25.fc29.noarch.rpm doc files of bxdvidriver
texlive-bxdvidriver-svn43219-25.fc29.noarch.rpm Enables specifying a driver option effective only in DVI output
texlive-bxeepic-doc-svn30559.0.2-25.fc29.noarch.rpm Documentation for bxeepic
texlive-bxeepic-svn30559.0.2-25.fc29.noarch.rpm Eepic facilities using pict2e
texlive-bxenclose-doc-svn40213-25.fc29.noarch.rpm doc files of bxenclose
texlive-bxenclose-svn40213-25.fc29.noarch.rpm Enclose the document body with some pieces of code
texlive-bxjalipsum-svn43369-25.fc29.noarch.rpm Dummy text in Japanese
Advertisement
Advertisement