| ID | 32584424 |
|---|---|
| Name | why3-debugsource |
| Version | 1.5.1 |
| Release | 3.fc38 |
| Epoch | |
| Arch | s390x |
| Summary | |
| Description | |
| Build Time | 2022-11-27 01:52:42 GMT |
| State | deleted |
| Size | 832.97 KB |
| f1de6e4a0d89a2ce980c1a4ed6d16b5e | |
| License | |
| Buildroot | f38-build-side-60413-39524978-4899220 |
| Provides | No Provides |
| Obsoletes | No Obsoletes |
| Conflicts | No Conflicts |
| Requires | No Requires |
| Recommends | No Recommends |
| Suggests | No Suggests |
| Supplements | No Supplements |
| Enhances | No Enhances |
| Files | No Files |
| Component of | No Buildroots |