Ubuntu
isl package

isl 0.12.1-1 source package in Ubuntu

Changelog

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.
 -- Matthias Klose <email address hidden>   Thu, 17 Oct 2013 15:30:11 +0200

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Saucy
Original maintainer:
Debian GCC maintainers
Architectures:
any
Section:
libs
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
isl_0.12.1.orig.tar.bz2 1.2 MiB 43ba8a43c3554a72a7e9e0d913a52dedbc0d712f472f3e62d239517bdd53e7b7
isl_0.12.1-1.debian.tar.gz 62.5 KiB 2e324a0897eee7ce0790a11ad9df8711aa5c15a90d1292228021e310f1f3e0ed
isl_0.12.1-1.dsc 1.2 KiB 90e3e8f02aab24f338739770d137d9ab30fe11f2bd1cdaf8f3e96377bf5772a8

Available diffs

View changes file

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: 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 development files.

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.