Ubuntu
isl package

isl 0.12.2-1 source package in Ubuntu

Changelog

isl (0.12.2-1) unstable; urgency=medium


  * New upstream release.
  * Fix header file. Closes: #730352.
  * Build using dh-autoreconf.
  * Update symbols file.

 -- Matthias Klose <email address hidden>  Thu, 13 Feb 2014 14:51:31 +0100

Upload details

Uploaded by:
Debian GCC maintainers
Uploaded to:
Sid
Original maintainer:
Debian GCC maintainers
Architectures:
any
Section:
libs
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release main libs

Downloads

File Size SHA-256 Checksum
isl_0.12.2-1.dsc 1.2 KiB 8596835c24f052e3b9e087949016c519d987d6dc0e71bea4ba15e241edb1fa2f
isl_0.12.2.orig.tar.bz2 1.3 MiB f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4
isl_0.12.2-1.debian.tar.xz 15.4 KiB 582a3c1c804c9fb430bf5d2f2d5d82aa541704e796bec2389df697a7e80ad5e2

Available diffs

No changes file available.

Binary packages built by this source

libisl-dbg: manipulating sets and relations of integer points bounded by linear constraints

 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 debug files.

libisl-dev: No summary available for libisl-dev in ubuntu utopic.

No description available for libisl-dev in ubuntu utopic.

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

 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.