Wed, 11 Dec 2024 23:15:57 UTC | login

Information for RPM lfsc-0.20181122-1.fc30.src.rpm

ID292569
Namelfsc
Version0.20181122
Release1.fc30
Epoch
Archsrc
SummarySMT proof checker
DescriptionThis package contains an SMT proof checker.
Build Time2018-12-02 06:04:18 GMT
Size72.07 KB
049004304d556219a8fe7cc3a1f550ea
LicenseBSD
Buildrootf30-build-35064-19559
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 11 of 11
Name ascending sort Size
color_base.plf1.56 KB
color_euf.plf2.32 KB
euf_interpolation.plf5.89 KB
lfsc-b6e9e3c.tar.gz51.28 KB
lfsc.spec3.08 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