Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sun, 19 May 2024 16:32:58 UTC |
login
Information for RPM
texlive-drv-8:svn29349.0.97-26.fc31.noarch.rpm
ID
371245
Name
texlive-drv
Version
svn29349.0.97
Release
26.fc31
Epoch
8
Arch
noarch
Summary
Derivation trees with MetaPost
Description
A set of MetaPost macros for typesetting derivation trees (such as used in sequent calculus, type inference, programming language semantics...). No MetaPost knowledge is needed to use these macros.
Build Time
2019-06-21 14:49:21 GMT
Size
33.81 KB
SIGMD5
b81a8d47e4c2fa7736ff35fe7ce0d1c2
License
LPPL
Provides
tex-drv = 2018
texlive-drv = 8:svn29349.0.97-26.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(PayloadIsXz) <= 5.2-1
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
Size
/usr/share/licenses/texlive-drv
0.00 B
/usr/share/licenses/texlive-drv/lppl1.txt
8.87 KB
/usr/share/texlive/texmf-dist/metapost/drv
0.00 B
/usr/share/texlive/texmf-dist/metapost/drv/drv.mp
80.24 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.