| ID | 32584401 | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | why3 | ||||||||||||||||||||||||
| Version | 1.5.1 | ||||||||||||||||||||||||
| Release | 3.fc38 | ||||||||||||||||||||||||
| Epoch | |||||||||||||||||||||||||
| Arch | x86_64 | ||||||||||||||||||||||||
| Summary | |||||||||||||||||||||||||
| Description | |||||||||||||||||||||||||
| Build Time | 2022-11-27 01:51:55 GMT | ||||||||||||||||||||||||
| State | deleted | ||||||||||||||||||||||||
| Size | 12.96 MB | ||||||||||||||||||||||||
| 698c48a734b451737a3a53ebf9e4370b | |||||||||||||||||||||||||
| License | |||||||||||||||||||||||||
| Buildroot | f38-build-side-60413-39524976-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 |
|
||||||||||||||||||||||||
