Information for RPM ocaml-psmt2-frontend-0.4.0-14.fc40.src.rpm
| ID | 1162281 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | ocaml-psmt2-frontend | ||||||||||
| Version | 0.4.0 | ||||||||||
| Release | 14.fc40 | ||||||||||
| Epoch | |||||||||||
| Arch | src | ||||||||||
| Summary | Parser and typechecker for an extension of SMT-LIB 2 | ||||||||||
| Description | This package contains a library to parse and typecheck a conservative extension of the SMT-LIB 2 standard with prenex polymorphism. | ||||||||||
| Build Time | 2023-12-29 17:51:31 GMT | ||||||||||
| Size | 86.51 KB | ||||||||||
| 56da850dd573b7d6efd53f23eb533530 | |||||||||||
| License | Apache-2.0 | ||||||||||
| Buildroot | f40-build-768381-125293 | ||||||||||
| Provides |
|
||||||||||
| Obsoletes | No Obsoletes | ||||||||||
| Conflicts | No Conflicts | ||||||||||
| Requires |
|
||||||||||
| Recommends | No Recommends | ||||||||||
| Suggests | No Suggests | ||||||||||
| Supplements | No Supplements | ||||||||||
| Enhances | No Enhances | ||||||||||
| Files |
|
||||||||||
| Component of | No Buildroots | ||||||||||
