Sat, 07 Dec 2019 04:51:33 UTC

Information for RPM texlive-calculation-9:svn35973.1.0-9.fc31.noarch.rpm

ID19769915
Nametexlive-calculation
Versionsvn35973.1.0
Release9.fc31
Epoch9
Archnoarch
SummaryTypesetting reasoned calculations, also called calculational proofs
DescriptionThe calculation environment formats reasoned calculations, also called calculational proofs. The notion of reasoned calculations or calculational proofs was originally advocated by Wim Feijen and Edsger Dijkstra. The package accepts options fleqn and leqno (with the same effect as the LaTeX options fleqn and leqno, or may inherit the options from the document class). It allows steps and expressions to be numbered (by LaTeX equation numbers, obeying the LaTeX \label command to refer to these numbers), and a step doesn't take vertical space if its hint is empty. An expression in a calculation can be given a comment; it is placed at the side opposite to the equation numbers. Calculations are allowed inside hints although numbering and commenting is then disabled.
Build Time2019-12-02 23:35:20 GMT
Size23416
c32f843ba9eb940925317b7a38c8b420
LicenseLPPL 1.3
Buildrootf31-build-18402139-1309566
Provides
tex(calculation.sty) = 2019
tex-calculation = 2019
texlive-calculation = 9:svn35973.1.0-9.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
tex(delarray.sty)
tex-kpathsea
texlive-base
texlive-kpathsea-bin
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
/usr/share/licenses/texlive-calculation0
/usr/share/licenses/texlive-calculation/lppl1.3.txt19106
/usr/share/texlive/texmf-dist/tex/latex/calculation0
/usr/share/texlive/texmf-dist/tex/latex/calculation/calculation.sty8982
Component of
1 through 6 of 6
Buildroot descending sort Created State
f31-build-18409444-1311538 2019-12-05 20:10:02 expired
f31-build-18409443-1311538 2019-12-05 20:09:59 expired
f31-build-18409442-1311538 2019-12-05 20:09:59 expired
f31-build-18409433-1311538 2019-12-05 20:09:29 expired
f31-build-18409432-1311538 2019-12-05 20:09:29 expired
f31-build-18409431-1311538 2019-12-05 20:09:28 expired