Information for RPM why3-all-1.7.1-2.fc40.riscv64.rpm
| ID | 1264443 | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | why3-all | |||||||||||||
| Version | 1.7.1 | |||||||||||||
| Release | 2.fc40 | |||||||||||||
| Epoch | ||||||||||||||
| Arch | riscv64 | |||||||||||||
| Summary | Complete Why3 software verification platform suite | |||||||||||||
| Description | This package provides a complete software verification platform suite based on Why3, including various automated and interactive provers. | |||||||||||||
| Build Time | 2024-03-26 16:25:48 GMT | |||||||||||||
| Size | 9.06 KB | |||||||||||||
| 7ddf7b2195d88b526b1215220eb9b8a9 | ||||||||||||||
| License | LGPL-2.1-only WITH OCaml-LGPL-linking-exception | |||||||||||||
| Buildroot | f40-build-797900-141532 | |||||||||||||
| Provides |
|
|||||||||||||
| Obsoletes | No Obsoletes | |||||||||||||
| Conflicts | No Conflicts | |||||||||||||
| Requires |
|
|||||||||||||
| Recommends | No Recommends | |||||||||||||
| Suggests | No Suggests | |||||||||||||
| Supplements | No Supplements | |||||||||||||
| Enhances | No Enhances | |||||||||||||
| Files | No Files | |||||||||||||
| Component of | No Buildroots |
