Main Site Links:

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

Information for RPM ethos-0.2.3-2.fc45.src.rpm

ID	24404
Build	ethos-0.2.3-2.fc45
Name	ethos
Version	0.2.3
Release	2.fc45
Epoch
Arch	src
Draft	False
Summary	Flexible and efficient proof checker for SMT solvers
Description	The Ethos checker is an efficient and extensible tool for checking proofs of Satisfiability Modulo Theories (SMT) solvers.
Build Time	2026-10-13 17:00:31 GMT
Size	235.40 KB
SIGMD5	c8e94d757d09d11f5c3a7851f303345c
License	BSD-3-Clause
VCS	git:https://github.com/cvc5/ethos.git
Buildroot	f45-build-8505-390
Provides	ethos = 0.2.3-2.fc45 ethos-debuginfo = 0.2.3-2.fc45 ethos-debugsource = 0.2.3-2.fc45
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	cmake cmake-rpm-macros gcc-c++ gmp-devel rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(DynamicBuildRequires) <= 4.15.0-1 rpmlib(FileDigests) <= 4.6.0-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 2 of 2 Name Size ethos-0.2.3.tar.gz 220.79 KB ethos.spec 2.55 KB
Component of	No Buildroots