| ID | 428720 |
| Build | idris-1.3.4-3.oc9 |
| Name | idris-manual |
| Version | 1.3.4 |
| Release | 3.oc9 |
| Epoch | |
| Arch | noarch |
| Draft | False |
| Summary |
| Description |
| Build Time | 2025-10-28 02:39:06 GMT |
| Size | 632.50 KB |
| 55265f99277c5614b8deff50cb992135 |
| License | BSD-3-Clause |
| Buildroot | dist-oc9-epol-build-228343-81203 |
| Provides |
| idris-manual = 1.3.4-3.oc9 |
|
| 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 |
|
| Recommends |
No Recommends
|
| Suggests |
No Suggests
|
| Supplements |
No Supplements
|
| Enhances |
No Enhances
|
| Files |
|
| Component of |
No Buildroots
|
