| ID | 32584418 | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | why3 | ||||||||||||||||||||||||
| Version | 1.5.1 | ||||||||||||||||||||||||
| Release | 3.fc38 | ||||||||||||||||||||||||
| Epoch | |||||||||||||||||||||||||
| Arch | ppc64le | ||||||||||||||||||||||||
| Summary | |||||||||||||||||||||||||
| Description | |||||||||||||||||||||||||
| Build Time | 2022-11-27 01:55:20 GMT | ||||||||||||||||||||||||
| State | deleted | ||||||||||||||||||||||||
| Size | 13.55 MB | ||||||||||||||||||||||||
| fcb6c10d8cb38f134900d4d062f8c451 | |||||||||||||||||||||||||
| License | |||||||||||||||||||||||||
| Buildroot | f38-build-side-60413-39524980-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 |
|
||||||||||||||||||||||||
