Information for RPM ocaml-psmt2-frontend-0.4.0-12.fc40.src.rpm
ID | 1091367 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Name | ocaml-psmt2-frontend | ||||||||||
Version | 0.4.0 | ||||||||||
Release | 12.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-11-13 07:51:27 GMT | ||||||||||
Size | 86.16 KB | ||||||||||
2253a39575d504521f8b0697e645dc65 | |||||||||||
License | Apache-2.0 | ||||||||||
Buildroot | f40-build-739850-109314 | ||||||||||
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 |