Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Mon, 01 Jul 2024 00:53:05 UTC |
login
Information for RPM
libpoly-0.1.8-3.fc33.src.rpm
ID
751739
Name
libpoly
Version
0.1.8
Release
3.fc33
Epoch
Arch
src
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
2020-12-26 08:19:26 GMT
Size
504.10 KB
SIGMD5
c93fe3f121c6a0b649920d135711f504
License
LGPLv3+
Buildroot
f33-build-383390-62129
Provides
libpoly = 0.1.8-3.fc33
libpoly-debuginfo = 0.1.8-3.fc33
libpoly-debugsource = 0.1.8-3.fc33
libpoly-devel = 0.1.8-3.fc33
python3-libpoly = 0.1.8-3.fc33
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
cmake
gcc
gmp-devel
python3-devel
python3dist(sympy)
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 2 of 2
Name
Size
libpoly.spec
3.50 KB
libpoly-0.1.8.tar.gz
495.07 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.