texlive-prooftrees-doc-svn43184-20.fc29.noarch.rpm


Advertisement

Description

texlive-prooftrees-doc - doc files of prooftrees

Property Value
Distribution Fedora 29
Repository Fedora x86_64
Package filename texlive-prooftrees-doc-svn43184-20.fc29.noarch.rpm
Package name texlive-prooftrees-doc
Package version svn43184
Package release 20.fc29
Package architecture noarch
Package type rpm
Category Applications/Publishing
Homepage http://tug.org/texlive/
License LPPL
Maintainer -
Download size 877.96 KB
Installed size 947.57 KB
Documentation for prooftrees

Alternatives

Package Version Architecture Repository
texlive-prooftrees-doc-svn43184-25.fc29.noarch.rpm svn43184 noarch Fedora Updates
texlive-prooftrees-doc-svn43184-25.fc29.noarch.rpm svn43184 noarch Fedora Updates
texlive-prooftrees-doc-svn43184-20.fc29.noarch.rpm svn43184 noarch Fedora
texlive-prooftrees-doc - - -

Provides

Name Value
tex-prooftrees-doc = 2018
texlive-prooftrees-doc = svn43184-20.fc29

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package texlive-prooftrees-doc-svn43184-20.fc29.noarch.rpm
Source Package texlive-2018-20.fc29.src.rpm

Install Howto

Install texlive-prooftrees-doc rpm package:

# dnf install texlive-prooftrees-doc

Files

Path
/usr/share/licenses/texlive-prooftrees-doc/lppl1.3.txt
/usr/share/texlive/texmf-dist/doc/latex/prooftrees/README
/usr/share/texlive/texmf-dist/doc/latex/prooftrees/manifest.txt
/usr/share/texlive/texmf-dist/doc/latex/prooftrees/prooftrees.pdf
/usr/share/texlive/texmf-dist/doc/latex/prooftrees/prooftrees.tex
/usr/share/texlive/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib

Changelog

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
2018-07-02 - Tom Callaway <spot@fedoraproject.org> - 7:2017-15
- update newtxsf
- remove incorrect provides from newtx
- add mensa-tex
2018-06-06 - Tom Callaway <spot@fedoraproject.org> - 7:2017-14
- add Provides: tex-japanese to resolve upgrade issue
2018-05-29 - Tom Callaway <spot@fedoraproject.org> - 7:2017-13
- add epochs to more obsoletes
2018-05-25 - Tom Callaway <spot@fedoraproject.org> - 7:2017-12
- fix Requires: texlive-xii to point to Requires: texlive-xii-doc
2018-05-22 - Tom Callaway <spot@fedoraproject.org> - 7:2017-11
- update cleverref

See Also

Package Description
texlive-prooftrees-svn43184-20.fc29.noarch.rpm Forest-based proof trees (symbolic logic)
texlive-properties-doc-svn15878.0.2-20.fc29.noarch.rpm Documentation for properties
texlive-properties-svn15878.0.2-20.fc29.noarch.rpm Load properties from a file
texlive-proposal-doc-svn40538-20.fc29.noarch.rpm Documentation for proposal
texlive-proposal-svn40538-20.fc29.noarch.rpm A class for preparing proposals
texlive-prosper-doc-svn33033.1.0h-20.fc29.noarch.rpm Documentation for prosper
texlive-prosper-svn33033.1.0h-20.fc29.noarch.rpm LaTeX class for high quality slides
texlive-protex-doc-svn41633-20.fc29.noarch.rpm Documentation for protex
texlive-protex-svn41633-20.fc29.noarch.rpm Literate programming package
texlive-protocol-doc-svn25562.1.13-20.fc29.noarch.rpm Documentation for protocol
texlive-protocol-svn25562.1.13-20.fc29.noarch.rpm A class for minutes of meetings
texlive-przechlewski-book-doc-svn23552.0-20.fc29.noarch.rpm Documentation for przechlewski-book
texlive-przechlewski-book-svn23552.0-20.fc29.noarch.rpm Examples from Przechlewski's LaTeX book
texlive-ps2pk-20180414-24.fc29.x86_64.rpm Generate a PK font from an Adobe Type 1 font
texlive-psbao-doc-svn15878.0.17-20.fc29.noarch.rpm Documentation for psbao
Advertisement
Advertisement