Ubuntu

“isl-lts” 0.11.1-2ubuntu1 source package in Ubuntu

Changelog

isl-lts (0.11.1-2ubuntu1) precise-proposed; urgency=low

  * Rebuild for precise.
  * Rename package to isl-lts.
  * Rename libisl-dev to libisl-dev-lts.
  * Don't rename libisl10, it's a new binary package.
  * Rename debug package to libisl10-dbg to prevent conflicts.
 -- Maarten Lankhorst <email address hidden>   Mon, 23 Dec 2013 12:49:41 +0100

Upload details

Uploaded by:
Maarten Lankhorst on 2013-12-23
Sponsored by:
Timo Aaltonen
Uploaded to:
Precise
Original maintainer:
Ubuntu Developers
Component:
main
Architectures:
any
Section:
libs
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise updates on 2014-01-10 main libs

Downloads

File Size MD5 Checksum
isl-lts_0.11.1.orig.tar.bz2 1.2 MiB bce1586384d8635a76d2f017fb067cd2
isl-lts_0.11.1-2ubuntu1.debian.tar.gz 16.1 KiB e83fc3662fa017e974eca3e7d0a4b1fb
isl-lts_0.11.1-2ubuntu1.dsc 2.0 KiB 7f270df160e9efab55df54ada3b87f7a

Binary packages built by this source

libisl-dev-lts: 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.

libisl10-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.