What is "libpoly"?

SRI LibPoly is a C library for manipulating polynomials

How to use this package

Quick install

Installs the package into the current environment for this session. Use --build or --runtime to persist it as a build-time or runtime dependency.

min add libpoly

Declare as a task dependency in minimal.toml

Listing the package under tasks.<name>.packages makes it available inside that task’s sandbox.

[tasks.dev]
packages = ["libpoly"]

Build-time vs runtime

Choose build-time for tools needed during compilation, runtime for dynamic libraries loaded at runtime.

min add --build libpoly
min add --runtime libpoly

Dependencies (7)

Dependencies
Name	Version	Kind
base	—	build
cmake	4.4.5	build
gcc	15.2.0	runtime
glibc	2.44	runtime
gmp	6.3.0	build + runtime
ninja	1.13.2	build
toolchain	—	build

Dependency changes

Dependants (1)

Dependants
Name	Version
cvc5	1.4.2

libpoly v0.2.10de8e16
Diff
Lines:+121Deps:7(+7)
Released: 3 hours ago

No direct advisories

This package inherits 2 transitive advisories from its dependencies.

Include transitive

Showing 2 transitive advisories via libpoly's dependencies

Security advisories for this package
	Status	IDs	Package	Version	Severity	Published
Critical (0)
High (2)
	Status	IDs	Package	Version	Severity	Published
	Affected: 1.3.2	CVE-2026-85091	zlib	1.3.2	High	2 months ago
Summary zlib 1.3.1.2 through 1.3.2 Heap Buffer Overflow via gz_vacate Via gcc zlib Affected ranges 1.3.2 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/85xxx/CVE-2026-85091.json, https://nvd.nist.gov/vuln/detail/CVE-2026-85091, https://www.vulncheck.com/advisories/zlib-1.3.1.2-through-1.3.2-heap-buffer-overflow-via-gz-vacate Evidence: https://gist.github.com/thesmartshadow/e0b9481792afb7c31e86fee1ff084490 PACKAGE: https://github.com/madler/zlib ARTICLE: https://github.com/madler/zlib/blob/v1.3.2/gzwrite.c#L393
	Under investigation	GHSA-g84c-rxfj-3j2c CVE-2026-76844	zlib	1.3 – 1.3.2	High	2 months ago
Summary zlib 1.2.11 through 1.3.2 Heap Buffer Overflow via Stale gzwrite Pointer After Failed Write Via gcc zlib Affected ranges 1.3 – 1.3.2 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/76xxx/CVE-2026-76844.json, https://nvd.nist.gov/vuln/detail/CVE-2026-76844, https://www.vulncheck.com/advisories/zlib-1.3.1.2-through-1.3.2-heap-buffer-overflow-via-gz-vacate Fix: https://github.com/madler/zlib/commit/df84af25dc1942490e1d1c899a07619152a46148 Evidence: https://gist.github.com/thesmartshadow/e0b9481792afb7c31e86fee1ff084490 PACKAGE: https://github.com/madler/zlib ARTICLE: https://github.com/madler/zlib/blob/v1.3.2/gzwrite.c#L393
Medium (0)
	Status	IDs	Package	Version	Severity	Published
Low (0)
	Status	IDs	Package	Version	Severity	Published
Unknown (0)
	Status	IDs	Package	Version	Severity	Published

Build provenance

For the signed record of what the build used, see the Provenance tab.

58 components

Software Bill of Materials — every package this build depends on
Packages	Version	Repository	License
libpolyROOT	0.2.1	github.com/SRI-CSL/libpoly	LGPL-3.0-or-later
acl	2.4.0	https://storage.googleapis.com/minimal-staging-archives/acl-2.4.0.tar.xzMIRROR	(GPL-2.0-only AND LGPL-2.1-only)
attr	2.6.0	https://storage.googleapis.com/minimal-staging-archives/attr-2.6.0.tar.gzMIRROR	(GPL-2.0-only AND LGPL-2.1-only)
autoconf	2.73	www.gnu.org/software/autoconf	GPL-3.0-or-later WITH Autoconf-exception-3.0
automake	1.19	www.gnu.org/software/automake	GPL-2.0-only
bash	5.3	www.gnu.org/software/bash	GPL-3.0-only
bash-bootstrap	5.3	www.gnu.org/software/bash	GPL-3.0-only
binutils	2.47	www.gnu.org/software/binutils	(GPL-2.0-only AND GPL-3.0-only AND LGPL-2.0-only)
bison	3.8.2	www.gnu.org/software/bison	GPL-3.0-only
bzip2	1.0.8	github.com/libarchive/bzip2	bzip2-1.0.6
cmake	4.4.5	github.com/Kitware/CMake	BSD-3-Clause
coreutils	9.12	www.gnu.org/software/coreutils	GPL-3.0-only
curl	8.23.0	github.com/curl/curl	curl
diffutils	3.12	www.gnu.org/software/diffutils	GPL-3.0-only
expat	2.9.0	github.com/libexpat/libexpat	MIT
file	5.48	https://storage.googleapis.com/minimal-staging-archives/file-5.48.tar.gzMIRROR	BSD-2-Clause-Darwin
findutils	4.11.0	www.gnu.org/software/findutils	GPL-3.0-only
flex	2.6.4	github.com/westes/flex	BSD-3-Clause-flex
gawk	5.4.1	www.gnu.org/software/gawk	GPL-3.0-only
gawk-bootstrap	5.4.1	www.gnu.org/software/gawk	GPL-3.0-only
gcc	15.2.0	www.gnu.org/software/gcc	(GPL-2.0-only AND GPL-3.0-only AND LGPL-2.1-only)
gdbm	1.26	www.gnu.org/software/gdbm	GPL-3.0-only
glibc	2.44	www.gnu.org/software/glibc	(GPL-2.0-only AND LGPL-2.1-only)
gmp	6.3.0	www.gnu.org/software/gmp	LGPL-3.0-or-later OR GPL-2.0-or-later
grep	3.12	www.gnu.org/software/grep	GPL-3.0-only
gzip	1.15	www.gnu.org/software/gzip	GPL-3.0-only
libcap	2.78	https://storage.googleapis.com/minimal-staging-archives/libcap-2.78.tar.xzMIRROR	BSD-3-Clause OR GPL-2.0-only
libffi	3.8.0	github.com/libffi/libffi	MIT
libidn2	2.3.8	www.gnu.org/software/libidn2	GPL-3.0-or-later AND (GPL-2.0-or-later OR LGPL-3.0-or-later)
libpsl	0.23.3	github.com/rockdaboot/libpsl	MIT
libtool	2.6.2	www.gnu.org/software/libtool	GPL-2.0-only
libunistring	1.5	www.gnu.org/software/libunistring	GPL-3.0-only
libuv	1.53.0	github.com/libuv/libuv	MIT
linux_headers	6.12.43	github.com/torvalds/linux	GPL-2.0-only WITH Linux-syscall-note
lz4	1.10.0	github.com/lz4/lz4	BSD-2-Clause AND GPL-2.0-or-later
m4	1.4.21	www.gnu.org/software/m4	GPL-3.0-only
make	4.4.1	www.gnu.org/software/make	GPL-3.0-only
meson	1.12.1	github.com/mesonbuild/meson	Apache-2.0
mpc	1.4.1	www.gnu.org/software/mpc	LGPL-3.0-or-later
mpfr	4.2.2	www.gnu.org/software/mpfr	GPL-3.0-only
ncurses	6.6	www.gnu.org/software/ncurses	X11-distribute-modifications-variant
ninja	1.13.2	github.com/ninja-build/ninja	Apache-2.0
openssl	4.1.0	github.com/openssl/openssl	Apache-2.0
patch	2.8.1	www.gnu.org/software/patch	GPL-3.0-only
pcre2	10.49	github.com/PCRE2Project/pcre2	BSD-3-Clause WITH PCRE2-exception
perl	5.44.0	github.com/Perl/perl5	Artistic-1.0-Perl OR GPL-1.0-or-later
pkgconf	3.0.10	github.com/pkgconf/pkgconf	ISC
python	3.14.10	github.com/python/cpython	Python-2.0.1
readline	8.3	www.gnu.org/software/readline	GPL-3.0-only
sed	4.10	www.gnu.org/software/sed	GPL-3.0-only
setuptools	84.2.1	github.com/pypa/setuptools	MIT
sqlite	3.54.1	github.com/sqlite/sqlite	blessing
tar	1.35	www.gnu.org/software/tar	GPL-3.0-only
tzdata	2026e	github.com/eggert/tz	LicenseRef-Public-Domain
util-linux	2.42.4	github.com/util-linux/util-linux	GPL-2.0-or-later AND LGPL-2.1-or-later AND BSD-3-Clause
xz	5.8.4	github.com/tukaani-project/xz	(0BSD AND GPL-2.0-only AND GPL-3.0-only AND LGPL-2.1-only)
zlib	1.3.2	github.com/madler/zlib	Zlib
zstd	1.5.7	github.com/facebook/zstd	BSD-3-Clause OR GPL-2.0-only

View packages at a commit

libpoly

Install package

OpenSSF Score

What is "libpoly"?

How to use this package

Quick install

Declare as a task dependency in minimal.toml

Build-time vs runtime

Dependencies (7)

Dependency changes

Dependants (1)

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Build provenance

Build provenance

Build provenance

58 components

Join the waitlist

Check your email