| ID | 32584398 | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | ocaml-why3-devel | ||||||||||||||||||||||||
| 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 | 3.00 MB | ||||||||||||||||||||||||
| a3fd9a576873af2df36b999fed23b669 | |||||||||||||||||||||||||
| 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 |
|
||||||||||||||||||||||||
