Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM ocaml-psmt2-frontend-0.4.0-21.fc42.src.rpm

ID	1488904
Name	ocaml-psmt2-frontend
Version	0.4.0
Release	21.fc42
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	2025-01-11 21:44:01 GMT
Size	86.75 KB
SIGMD5	7bdcac026eea733bef36780cc43f83cc
License	Apache-2.0
VCS	git:https://github.com/ACoquereau/psmt2-frontend.git
Buildroot	f42-build-865674-173376
Provides	ocaml-psmt2-frontend = 0.4.0-21.fc42 ocaml-psmt2-frontend-devel = 0.4.0-21.fc42 ocaml-psmt2-frontend-docs = 0.4.0-21.fc42
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 Size ocaml-psmt2-frontend-sphinx6.patch 1.01 KB ocaml-psmt2-frontend.spec 5.86 KB psmt2-frontend-0.4.0.tar.gz 69.14 KB
Component of	No Buildroots