Main Site Links:

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

Information for RPM isl-0.16.1-20.fc40.riscv64.rpm

ID	1283751
Name	isl
Version	0.16.1
Release	20.fc40
Epoch
Arch	riscv64
Summary	Integer point manipulation library
Description	isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, computing the lexicographic minimum using parametric integer programming, coalescing and parametric vertex enumeration. It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials.
Build Time	2024-04-11 16:58:30 GMT
Size	883.58 KB
SIGMD5	89eee56a8c0800b103209b71a0783a31
License	MIT
Buildroot	f40-build-802895-144099
Provides	isl = 0.14 isl = 0.16.1-20.fc40 isl(riscv-64) = 0.16.1-20.fc40 libisl.so.13()(64bit) libisl.so.15()(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(PayloadIsZstd) <= 5.4.18-1 rtld(GNU_HASH)
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 17 of 17 Name Size /usr/lib/.build-id 0.00 B /usr/lib/.build-id/73 0.00 B /usr/lib/.build-id/73/244105a47d5bf848536d8b47aeb4b2fcea2863 38.00 B /usr/lib/.build-id/ec 0.00 B /usr/lib/.build-id/ec/e2136de3498b6671aded6aa9656e9c0794de35 38.00 B /usr/lib64/libisl.so.13 16.00 B /usr/lib64/libisl.so.13.1.0 1.30 MB /usr/lib64/libisl.so.15 16.00 B /usr/lib64/libisl.so.15.1.1 1.57 MB /usr/share/doc/isl 0.00 B /usr/share/doc/isl/AUTHORS 1.02 KB /usr/share/doc/isl/ChangeLog 4.50 KB /usr/share/doc/isl/README 1.72 KB /usr/share/gdb/auto-load/usr/lib64/libisl.so.13.1.0-gdb.py 3.85 KB /usr/share/gdb/auto-load/usr/lib64/libisl.so.15.1.1-gdb.py 3.85 KB /usr/share/licenses/isl 0.00 B /usr/share/licenses/isl/LICENSE 1.02 KB
Component of	1 through 2 of 2 Buildroot Created State f40-build-807199-145155 2024-04-16 18:59:27 f40-build-803531-144263 2024-04-12 08:41:16