isl-0.16.1-22.fc42.riscv64 | RPM Info

Information for RPM isl-0.16.1-22.fc42.riscv64.rpm

28660

Build

isl-0.16.1-22.fc42

Name

isl

Version

0.16.1

Release

22.fc42

Epoch

Arch

riscv64

Draft

False

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

2025-03-05 04:44:59 GMT

Size

888.52 KB

SIGMD5

7b56663eaa71d94371ffe8f0a4040df8

License

MIT

Provides

isl = 0.14

isl = 0.16.1-22.fc42

isl(riscv-64) = 0.16.1-22.fc42

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)

libc.so.6(GLIBC_2.38)(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

Name	Size
1 through 17 of 17
/usr/lib/.build-id	0.00 B
/usr/lib/.build-id/c3	0.00 B
/usr/lib/.build-id/c3/f7d8c70d3904d396942eb789a3edde132f24f6	38.00 B
/usr/lib/.build-id/fa	0.00 B
/usr/lib/.build-id/fa/cf7646bb01443957b40bd05e5b54b07fb23c80	38.00 B
/usr/lib64/libisl.so.13	16.00 B
/usr/lib64/libisl.so.13.1.0	1.28 MB
/usr/lib64/libisl.so.15	16.00 B
/usr/lib64/libisl.so.15.1.1	1.54 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

Buildroot	Created	State
1 through 1 of 1
f42-build-621-80	2025-07-23 03:35:13