libisl10_0.12.2-2_amd64.deb


Advertisement

Description

libisl10 - manipulating sets and relations of integer points bounded by linear constraints

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libisl10
Package version 0.12.2
Package release 2
Package architecture amd64
Package type deb
Installed size 1.38 KB
Download size 429.76 KB
Official Mirror ftp.br.debian.org
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, and computing the lexicographic
minimum using parametric integer programming. It also includes an ILP solver
based on generalized basis reduction.
This package contains the runtime library.

Alternatives

Package Version Architecture Repository
libisl10_0.12.2-2_i386.deb 0.12.2 i386 Debian Main
libisl10 - - -

Requires

Name Value
libc6 >= 2.14
libgmp10 -
multiarch-support -

Download

Type URL
Binary Package libisl10_0.12.2-2_amd64.deb
Source Package isl

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libisl10 deb package:
    # sudo apt-get install libisl10

Files

Path
/usr/lib/x86_64-linux-gnu/libisl.so.10
/usr/lib/x86_64-linux-gnu/libisl.so.10.2.2
/usr/share/doc/libisl10/changelog.Debian.gz
/usr/share/doc/libisl10/changelog.gz
/usr/share/doc/libisl10/copyright

Changelog

2014-06-25 - Matthias Klose <doko@debian.org>
isl (0.12.2-2) unstable; urgency=medium
* Make the python pretty printer file compatible with python3.
* Let the python pretty printer load the library by the soname.
2014-02-13 - Matthias Klose <doko@debian.org>
isl (0.12.2-1) unstable; urgency=medium
* New upstream release.
* Fix header file. Closes: #730352.
* Build using dh-autoreconf.
* Update symbols file.
2013-11-26 - Matthias Klose <doko@debian.org>
isl (0.12.1-2) unstable; urgency=low
* Drop build dependency on libcloog-isl-dev.
2013-10-17 - Matthias Klose <doko@debian.org>
isl (0.12.1-1) unstable; urgency=low
* New upstream release. Closes: #714830.
* libisl10: Breaks libcloog-isl4 (<< 0.18.1).
* Update symbols file.
* Build-depend on libcloog-isl-dev (>= 0.18.1) to make sure that the
cloog version compatible with isl-0.12 already is in the archive.
* Use dh_autotools-dev, not autoreconf to update config.{sub,guess}.
Closes: #721854.
* Update project home page. Closes: #682352.
2013-07-16 - Matthias Klose <doko@debian.org>
isl (0.12-1) experimental; urgency=low
* New upstream release.
2013-05-09 - Matthias Klose <doko@debian.org>
isl (0.11.2-1) unstable; urgency=low
* New upstream release.
* Update symbols file.
2013-02-27 - Matthias Klose <doko@debian.org>
isl (0.11.1-2) unstable; urgency=low
* Build using dh-autoreconf.
2013-01-13 - Matthias Klose <doko@debian.org>
isl (0.11.1-1) unstable; urgency=low
* New upstream release.
* Update debian/copyright.
2012-07-08 - Matthias Klose <doko@debian.org>
isl (0.10-3) unstable; urgency=low
* Configure with --disable-silent-rules.
2012-07-01 - Matthias Klose <doko@debian.org>
isl (0.10-2) unstable; urgency=low
* Complete copyright information. Closes: #679464.
* Note about stdint.h generator differs among architectures
and breaks multiarch (Gregor Jasny). Closes: #658841.

See Also

Package Description
libisnativec-java-doc_5.3.20100629+fix-1_all.deb Javadoc API description for isNativeC
libisnativec-java_5.3.20100629+fix-1_all.deb helper routines to access native code from Java
libiso9660-8_0.83-4.2_amd64.deb library to work with ISO9660 filesystems
libiso9660-dev_0.83-4.2_amd64.deb library to work with ISO9660 filesystems (development files)
libisoburn-dev_1.3.2-1.1_amd64.deb development package for libisoburn
libisoburn-doc_1.3.2-1.1_all.deb documentation package for libisoburn
libisoburn1_1.3.2-1.1_amd64.deb library to handle creation and inspection of ISO-9660 file systems
libisocodes-dev_1.2.2-1~deb8u1_amd64.deb access of iso-codes data and translations - development files
libisocodes1_1.2.2-1~deb8u1_amd64.deb access of iso-codes data and translations
libisofs-dev_1.3.2-1.1_amd64.deb development package for libisofs
libisofs-doc_1.3.2-1.1_all.deb API documentation for libisofs library
libisofs6_1.3.2-1.1_amd64.deb library to create ISO9660 images
libisorelax-java-doc_20041111-8_all.deb Interface for applications to support RELAX Core - documentation
libisorelax-java_20041111-8_all.deb Interface for applications to support RELAX Core
libisrt-java-doc_4.8.20100629-2_all.deb common runtime library by intarsys (documentation)
Advertisement
Advertisement