texlive-drs rpm build for : Rawhide. For other distributions click texlive-drs.
| Name : texlive-drs
| |
| Version : svn19232.1.1b
| Vendor : Fedora Project
|
| Release : 71.fc40
| Date : 2024-01-27 07:31:55
|
| Group : Unspecified
| Source RPM : texlive-2023-71.fc40.src.rpm
|
| Size : 0.03 MB
| |
| Packager : Fedora Project
| |
| Summary : Typeset Discourse Representation Structures (DRS)
|
Description :
The package draws Discourse Representation Structures (DRSs).
It can draw embedded DRSs, if-then conditions and
quantificational \"duplex conditions\" (with a properly scaled
connecting diamond). Formatting parameters allow the user to
control the appearance and placement of DRSs, and of DRS
variables and conditions. The package is based on DRS macros in
the covington package.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/linux/development/rawhide/Everything/aarch64/os/Packages/t |
Content of RPM
Changelog
Provides
Requires
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
tex(drs.sty)
tex-drs
texlive-drs
Requires :
Content of RPM :
/usr/share/licenses/texlive-drs
/usr/share/licenses/texlive-drs/lppl1.3.txt
/usr/share/texlive/texmf-dist/tex/latex/drs
/usr/share/texlive/texmf-dist/tex/latex/drs/drs.sty
