Main Site Links:

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

Information for RPM lfsc-0.20230523-3.fc40.src.rpm

ID	1240542
Name	lfsc
Version	0.20230523
Release	3.fc40
Epoch
Arch	src
Summary	SMT proof checker
Description	This package contains an SMT proof checker.
Build Time	2024-03-18 08:13:22 GMT
Size	2.95 MB
SIGMD5	9e4ec2b8d25a443f7ce7521c284ab7c0
License	BSD-3-Clause
Buildroot	f40-build-790414-136512
Provides	lfsc = 0.20230523-3.fc40 lfsc-debuginfo = 0.20230523-3.fc40 lfsc-debugsource = 0.20230523-3.fc40 lfsc-devel = 0.20230523-3.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	cmake flex gcc-c++ gmp-devel help2man make python3-devel 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 13 of 13 Name Size color_base.plf 1.56 KB color_euf.plf 2.32 KB euf_interpolation.plf 5.89 KB lfsc-bbc1798.tar.gz 4.26 MB lfsc-map.patch 1.59 KB lfsc-stdint.patch 219.00 B lfsc.spec 7.02 KB sat.plf 4.48 KB smt.plf 5.92 KB th_base.plf 3.21 KB th_lra-cvc3.plf 27.62 KB th_lra.plf 12.14 KB th_real.plf 3.73 KB
Component of	No Buildroots