SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

libpoly rpm build for : Fedora 39. For other distributions click libpoly.

Name : libpoly
Version : 0.1.13 Vendor : Fedora Project
Release : 1.fc39 Date : 2023-08-02 00:51:22
Group : Unspecified Source RPM : libpoly-0.1.13-1.fc39.src.rpm
Size : 0.64 MB
Packager : Fedora Project
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.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/39/Everything/x86_64/os/Packages/l

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  libpoly-0.1.13-1.fc39.i686.rpm
     Search for other platforms
libpoly-0.1.13-1.fc39.sparc.rpm
libpoly-0.1.13-1.fc39.alpha.rpm
libpoly-0.1.13-1.fc39.ppc.rpm
libpoly-0.1.13-1.fc39.ia64.rpm
libpoly-0.1.13-1.fc39.s390.rpm

Provides :
libpoly
libpoly(x86-32)
libpoly.so.0
libpolyxx.so.0

Requires :
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1)
libc.so.6(GLIBC_2.1.3)
libc.so.6(GLIBC_2.3.4)
libc.so.6(GLIBC_2.4)
libgcc_s.so.1
libgcc_s.so.1(GCC_3.0)
libgcc_s.so.1(GCC_3.3.1)
libgmp.so.10
libpoly.so.0
libstdc++.so.6
libstdc++.so.6(CXXABI_1.3)
libstdc++.so.6(CXXABI_1.3.8)
libstdc++.so.6(GLIBCXX_3.4)
libstdc++.so.6(GLIBCXX_3.4.14)
libstdc++.so.6(GLIBCXX_3.4.30)
libstdc++.so.6(GLIBCXX_3.4.32)
libstdc++.so.6(GLIBCXX_3.4.9)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/40
/usr/lib/.build-id/40/28b64b7dcbc5dd68434e6ab2b41dfc9e1a9e19
/usr/lib/.build-id/bf
/usr/lib/.build-id/bf/85687b7acf21714b6eb70ae0978e47d44dddce
/usr/lib/libpoly.so.0
/usr/lib/libpoly.so.0.1.13
/usr/lib/libpolyxx.so.0
/usr/lib/libpolyxx.so.0.1.13
/usr/share/doc/libpoly
/usr/share/doc/libpoly/README.md
/usr/share/licenses/libpoly
/usr/share/licenses/libpoly/LICENCE

  
ICM