Information for RPM texlive-vdmlisting-11:svn56905-71.fc41.noarch.rpm
| ID | 10980 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-71.fc41 | ||||||||||
| Name | texlive-vdmlisting | ||||||||||
| Version | svn56905 | ||||||||||
| Release | 71.fc41 | ||||||||||
| Epoch | 11 | ||||||||||
| Arch | noarch | ||||||||||
| Draft | False | ||||||||||
| Summary | Typesetting VDM in ASCII syntax | ||||||||||
| Description | The package is an extension for the listings package that provides a source code printer for LaTeX. This package defines new language definitions and listing environments for the three language dialects of the Vienna Development Method: VDM-SL, VDM- PP and VDM-RT. If one wants to typeset VDM with a mathematical syntax instead of the ASCII syntax used here one should use the vdm pacakge instead | ||||||||||
| Build Time | 2024-04-25 04:32:39 GMT | ||||||||||
| Size | 15.61 KB | ||||||||||
| 48fe5bcbcf17b2e636c99051adee3164 | |||||||||||
| License | LPPL-1.3c | ||||||||||
| Buildroot | f41-build-16326-578 | ||||||||||
| Provides |
|
||||||||||
| Obsoletes | No Obsoletes | ||||||||||
| Conflicts | No Conflicts | ||||||||||
| Requires |
|
||||||||||
| Recommends | No Recommends | ||||||||||
| Suggests | No Suggests | ||||||||||
| Supplements | No Supplements | ||||||||||
| Enhances | No Enhances | ||||||||||
| Files | |||||||||||
| Component of |
