Information for RPM idris-manual-1.3.4-6.fc38.noarch.rpm
| ID | 1019256 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Name | idris-manual | ||||||||
| Version | 1.3.4 | ||||||||
| Release | 6.fc38 | ||||||||
| Epoch | |||||||||
| Arch | noarch | ||||||||
| Summary | The Idris manual | ||||||||
| Description | This package provides the manual for the Idris programming language. | ||||||||
| Build Time | 2023-06-03 09:53:49 GMT | ||||||||
| Size | 629.53 KB | ||||||||
| e5b0f3966cc9b46c3502a2fe4ae3c143 | |||||||||
| License | BSD-3-Clause | ||||||||
| Buildroot | f38-build-719838-97265 | ||||||||
| Provides |
|
||||||||
| Obsoletes | No Obsoletes | ||||||||
| Conflicts | No Conflicts | ||||||||
| Requires |
|
||||||||
| Recommends | No Recommends | ||||||||
| Suggests | No Suggests | ||||||||
| Supplements | No Supplements | ||||||||
| Enhances | No Enhances | ||||||||
| Files |
|
||||||||
| Component of | No Buildroots | ||||||||
