Wed, 05 Mar 2025 06:19:02 UTC | login

Information for RPM ocaml-psmt2-frontend-0.4.0-12.fc40.src.rpm

ID1091367
Nameocaml-psmt2-frontend
Version0.4.0
Release12.fc40
Epoch
Archsrc
SummaryParser and typechecker for an extension of SMT-LIB 2
DescriptionThis package contains a library to parse and typecheck a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
Build Time2023-11-13 07:51:27 GMT
Size86.16 KB
2253a39575d504521f8b0697e645dc65
LicenseApache-2.0
Buildrootf40-build-739850-109314
Provides
ocaml-psmt2-frontend = 0.4.0-12.fc40
ocaml-psmt2-frontend-debuginfo = 0.4.0-12.fc40
ocaml-psmt2-frontend-debugsource = 0.4.0-12.fc40
ocaml-psmt2-frontend-devel = 0.4.0-12.fc40
ocaml-psmt2-frontend-docs = 0.4.0-12.fc40
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
make
ocaml >= 4.04.2
ocaml-dune >= 2.6.0
ocaml-menhir >= 20180528
python3dist(sphinx)
python3dist(sphinx-rtd-theme)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 3 of 3
Name ascending sort Size
ocaml-psmt2-frontend-sphinx6.patch1.01 KB
ocaml-psmt2-frontend.spec4.71 KB
psmt2-frontend-0.4.0.tar.gz69.14 KB
Component of No Buildroots