Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: libpoly-git 0.2.0.r0.gd4c917c-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/libpoly-git.git (read-only, click to copy)
Package Base:	libpoly-git
Description:	C library for manipulating polynomials
Upstream URL:	https://github.com/SRI-CSL/libpoly
Licenses:	LGPL
Conflicts:	libpoly
Provides:	libpoly
Submitter:	Neferin
Maintainer:	Neferin
Last Packager:	Neferin
Votes:	0
Popularity:	0.000000
First Submitted:	2023-09-16 21:06 (UTC)
Last Updated:	2025-06-23 15:21 (UTC)

Dependencies (6)

gcc-libs (gcc-libs-git^AUR, gccrs-libs-git^AUR, gcc-libs-snapshot^AUR)
gmp (gmp-hg^AUR)
cmake (cmake3^AUR, cmake-git^AUR) (make)
git (git-git^AUR, git-gl^AUR) (make)
ninja (ninja-kitware^AUR, ninja-fuchsia-git^AUR, ninja-git^AUR, ninja-mem^AUR, ninja-noemacs-git^AUR) (make)
python (make)

Required by (2)

cvc5 (requires libpoly)
cvc5-bestperformance (requires libpoly)

Sources (1)

git+https://github.com/SRI-CSL/libpoly.git