lib64isl-devel-0.12.2-1-omv2014.0.x86_64.rpm


Advertisement

Description

lib64isl-devel - Development files for the isl Integer Set Library

Property Value
Distribution OpenMandriva Lx 2014.2
Repository OpenMandriva Main x86_64
Package name lib64isl-devel
Package version 0.12.2
Package release 1-omv2014.0
Package architecture x86_64
Package type rpm
Installed size 216.20 KB
Download size 32.88 KB
Official Mirror abf-downloads.openmandriva.org
Header files for the isl Integer Set Library.

Alternatives

Package Version Architecture Repository
lib64isl-devel-0.16.1-0.1-omv2014.0.x86_64.rpm 0.16.1 x86_64 OpenMandriva Main Updates
lib64isl-devel-0.13-0.1-omv2014.0.x86_64.rpm 0.13 x86_64 OpenMandriva Main Updates
lib64isl-devel - - -

Requires

Name Value
devel(libgmp(64bit)) -
lib64isl10 == 0.12.2-1

Provides

Name Value
devel(libisl(64bit)) -
isl-devel == 0.12.2-1
lib64isl-devel == 0.12.2-1:2014.0
pkgconfig(isl) == 0.12.2

Obsoletes

Name Value
lib64isl-static-devel < 0.11.1-3

Download

Type URL
Binary Package lib64isl-devel-0.12.2-1-omv2014.0.x86_64.rpm
Source Package isl-0.12.2-1.src.rpm

Install Howto

  1. Enable OpenMandriva Main repository on Install and Remove Software"
  2. Update packages list:
    # urpmi.update -a
  3. Install lib64isl-devel rpm package:
    # urpmi lib64isl-devel

Files

Path
/usr/include/isl/aff.h
/usr/include/isl/aff_type.h
/usr/include/isl/arg.h
/usr/include/isl/ast.h
/usr/include/isl/ast_build.h
/usr/include/isl/band.h
/usr/include/isl/blk.h
/usr/include/isl/config.h
/usr/include/isl/constraint.h
/usr/include/isl/ctx.h
/usr/include/isl/dim.h
/usr/include/isl/flow.h
/usr/include/isl/hash.h
/usr/include/isl/id.h
/usr/include/isl/ilp.h
/usr/include/isl/int.h
/usr/include/isl/list.h
/usr/include/isl/local_space.h
/usr/include/isl/lp.h
/usr/include/isl/map.h
/usr/include/isl/map_type.h
/usr/include/isl/mat.h
/usr/include/isl/multi.h
/usr/include/isl/obj.h
/usr/include/isl/options.h
/usr/include/isl/point.h
/usr/include/isl/polynomial.h
/usr/include/isl/polynomial_type.h
/usr/include/isl/printer.h
/usr/include/isl/schedule.h
/usr/include/isl/seq.h
/usr/include/isl/set.h
/usr/include/isl/set_type.h
/usr/include/isl/space.h
/usr/include/isl/stdint.h
/usr/include/isl/stream.h
/usr/include/isl/union_map.h
/usr/include/isl/union_map_type.h
/usr/include/isl/union_set.h
/usr/include/isl/union_set_type.h
/usr/include/isl/val.h
/usr/include/isl/val_gmp.h
/usr/include/isl/val_int.h
/usr/include/isl/vec.h
/usr/include/isl/version.h
/usr/include/isl/vertices.h
/usr/lib64/libisl.so
/usr/lib64/pkgconfig/isl.pc

Changelog

2014-03-19 - Bernhard Rosenkraenzer <bero@lindev.ch> 0.12.2-1
+ Revision: a15c01b
- --disable-static for 2014.0

See Also

Package Description
lib64isl10-0.12.2-1-omv2014.0.x86_64.rpm Integer Set Library
lib64iso++0-0.90-5-omv2014.0.x86_64.rpm C++ library from libcdio
lib64iso9660_8-0.90-5-omv2014.0.x86_64.rpm Library from libcdio
lib64isofs-devel-1.3.0-2-omv2014.0.x86_64.rpm Header files for development with libisofs
lib64isofs6-1.3.0-2-omv2014.0.x86_64.rpm Library for creating ISO disc images
lib64itm-devel-4.8.3_2014.01-2-omv2014.0.x86_64.rpm GCC Transactional Memory development support
lib64itm-static-devel-4.8.3_2014.01-2-omv2014.0.x86_64.rpm GCC Transactional Memory static libraries
lib64itm1-4.8.3_2014.01-2-omv2014.0.x86_64.rpm GCC Transactional Memory support library
lib64iw-devel-30-0.pre9.4-omv2014.0.x86_64.rpm Wireless_tools development library
lib64iw30-30-0.pre9.4-omv2014.0.x86_64.rpm Wireless_tools library
lib64ixion-devel-0.5.0-7-omv2014.0.x86_64.rpm Threaded multi-target formula parser & interpreter
lib64ixion0.6_0-0.5.0-7-omv2014.0.x86_64.rpm Threaded multi-target formula parser & interpreter
lib64ixml2-1.6.18-3-omv2014.0.x86_64.rpm Library and tools for the UPnP protocol
lib64jack-devel-1.9.8-6-omv2014.0.x86_64.rpm Header files for Jack
lib64jack0-1.9.8-6-omv2014.0.x86_64.rpm Library associated with jack
Advertisement
Advertisement