Sun, 09 Jun 2024 01:25:08 UTC | login

Information for RPM lfsc-0.20180322-2.fc29.src.rpm

ID222400
Namelfsc
Version0.20180322
Release2.fc29
Epoch
Archsrc
SummarySMT proof checker
DescriptionThis package contains an SMT proof checker.
Build Time2018-08-04 11:04:39 GMT
Size60.28 KB
848f418494d4330ad1ac5c482e3b4d1e
LicenseBSD
Buildrootf29-build-22546-11655
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
cmake
gcc-c++
gmp-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 12 of 12
Name ascending sort Size
check.plf383.00 B
color_base.plf1.56 KB
color_euf.plf2.32 KB
euf_interpolation.plf5.89 KB
lfsc-fcd0cb3.tar.gz39.15 KB
lfsc.spec2.85 KB
sat.plf4.48 KB
smt.plf5.92 KB
th_base.plf3.21 KB
th_lra-cvc3.plf27.62 KB
th_lra.plf12.14 KB
th_real.plf3.73 KB
Component of No Buildroots