Main Site Links:

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

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

ID	1361626
Name	ocaml-psmt2-frontend
Version	0.4.0
Release	19.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-07-24 15:45:11 GMT
Size	86.63 KB
SIGMD5	4873c2ffcbd421c7d95c65406cca7167
License	Apache-2.0
VCS	git:https://github.com/ACoquereau/psmt2-frontend.git
Buildroot	f41-build-820364-152200
Provides	ocaml-psmt2-frontend = 0.4.0-19.fc41 ocaml-psmt2-frontend-devel = 0.4.0-19.fc41 ocaml-psmt2-frontend-docs = 0.4.0-19.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.66 KB psmt2-frontend-0.4.0.tar.gz 69.14 KB
Component of	No Buildroots