Main Site Links:

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

Information for RPM ocaml-psmt2-frontend-0.4.0-20.fc41.src.rpm

ID	1425864
Name	ocaml-psmt2-frontend
Version	0.4.0
Release	20.fc41
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	2024-08-11 16:02:00 GMT
Size	86.63 KB
SIGMD5	a93e6680e96a54e3bd7e34db4de36102
License	Apache-2.0
VCS	git:https://github.com/ACoquereau/psmt2-frontend.git
Buildroot	f41-build-838415-159693
Provides	ocaml-psmt2-frontend = 0.4.0-20.fc41 ocaml-psmt2-frontend-devel = 0.4.0-20.fc41 ocaml-psmt2-frontend-docs = 0.4.0-20.fc41
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.76 KB psmt2-frontend-0.4.0.tar.gz 69.14 KB
Component of	No Buildroots