SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

libisl15 rpm build for : openSUSE Leap 42. For other distributions click libisl15.

Name : libisl15
Version : 0.18 Vendor : obs://build_opensuse_org/home:smarty12
Release : 38.3 Date : 2018-02-26 10:34:01
Group : System/Libraries Source RPM : isl-0.18-38.3.src.rpm
Size : 1.93 MB
Packager : (none)
Summary : The ISL shared library
Description :
The shared library for the ISL.

ISL is a library for manipulating sets and relations of integer points
bounded by linear constraints.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/smarty12:/libraries/openSUSE_Leap_42.3/x86_64

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
libisl.so.15()(64bit)
libisl15
libisl15(x86-64)

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
libc.so.6()(64bit)
libgmp.so.10()(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.14)(64bit)
rpmlib(PayloadIsLzma) <= 4.4.6-1
libc.so.6(GLIBC_2.3)(64bit)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
/sbin/ldconfig


Content of RPM :
/usr/lib64/libisl.so.15
/usr/lib64/libisl.so.15.3.0

 
ICM