Main Site Links:

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

Information for RPM libpoly-0.1.5-2.fc29.riscv64.rpm

ID	224906
Name	libpoly
Version	0.1.5
Release	2.fc29
Epoch
Arch	riscv64
Summary	C library for manipulating polynomials
Description	LibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints.
Build Time	2018-08-05 12:23:04 GMT
Size	130.90 KB
SIGMD5	72f8d9f7bbfc3ecdfc761087ee69730a
License	LGPLv3+
Buildroot	f29-build-22959-11791
Provides	libpoly = 0.1.5-2.fc29 libpoly(riscv-64) = 0.1.5-2.fc29 libpoly.so.0()(64bit)
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgmp.so.10()(64bit) rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsXz) <= 5.2-1 rtld(GNU_HASH)
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 9 of 9 Name Size /usr/lib/.build-id 0.00 B /usr/lib/.build-id/cb 0.00 B /usr/lib/.build-id/cb/e2e81ae333e57382ff50fdceb53976eaa5ea7f 38.00 B /usr/lib64/libpoly.so.0 16.00 B /usr/lib64/libpoly.so.0.1.5 309.40 KB /usr/share/doc/libpoly 0.00 B /usr/share/doc/libpoly/README.md 2.02 KB /usr/share/licenses/libpoly 0.00 B /usr/share/licenses/libpoly/LICENCE 7.47 KB
Component of	1 through 2 of 2 Buildroot Created State f29-build-33624-18303 2018-11-26 16:17:00 f29-build-24356-12469 2018-08-10 18:43:15