Information for RPM texlive-tex-ewd-11:svn15878.0-71.fc41.noarch.rpm
| ID | 9772 | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-71.fc41 | |||||||||||||||||||||
| Name | texlive-tex-ewd | |||||||||||||||||||||
| Version | svn15878.0 | |||||||||||||||||||||
| Release | 71.fc41 | |||||||||||||||||||||
| Epoch | 11 | |||||||||||||||||||||
| Arch | noarch | |||||||||||||||||||||
| Draft | False | |||||||||||||||||||||
| Summary | Macros to typeset calculational proofs and programs in Dijkstra's style | |||||||||||||||||||||
| Description | Edsger W. Dijkstra and others suggest a unique style to present mathematical proofs and to construct programs. This package provides macros that support calculational proofs and Dijkstra's "guarded command language". | |||||||||||||||||||||
| Build Time | 2024-04-25 04:32:39 GMT | |||||||||||||||||||||
| Size | 13.56 KB | |||||||||||||||||||||
| 6cbc67d0ca647fc00b31676f2160641b | ||||||||||||||||||||||
| License | BSD-3-Clause | |||||||||||||||||||||
| 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 |
|
|||||||||||||||||||||
