| ID | 32584410 | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | why3 | ||||||||||||||||||||||||
| Version | 1.5.1 | ||||||||||||||||||||||||
| Release | 3.fc38 | ||||||||||||||||||||||||
| Epoch | |||||||||||||||||||||||||
| Arch | aarch64 | ||||||||||||||||||||||||
| Summary | |||||||||||||||||||||||||
| Description | |||||||||||||||||||||||||
| Build Time | 2022-11-27 01:52:36 GMT | ||||||||||||||||||||||||
| State | deleted | ||||||||||||||||||||||||
| Size | 15.10 MB | ||||||||||||||||||||||||
| bc32f73c19b51c3a44b983d0cf98b037 | |||||||||||||||||||||||||
| License | |||||||||||||||||||||||||
| Buildroot | f38-build-side-60413-39524977-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 |
|
||||||||||||||||||||||||
