# 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 | Published | Component | Section |
---|

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