corner image corner image corner image corner image Debian NEW package overview for isl
isl_0.21-1_amd64.changes (click to toggle)
Format:1.8
Date:Wed, 26 Jun 2019 14:28:06 +0200
Source:isl
Binary:libisl-dev libisl21 libisl21-dbgsym
Architecture:source amd64
Version:0.21-1
Distribution:experimental
Urgency:medium
Maintainer:Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By:Matthias Klose <doko@debian.org>
Description:
libisl-dev - manipulating sets and relations of integer points bounded by line
libisl21   - manipulating sets and relations of integer points bounded by line
Closes:909112
Changes:
isl (0.21-1) experimental; urgency=medium

  * New upstream release.
  * Bump standards version.
  * Update symbols file.
  * Fix FTCBFS: Annotate Build-Depends: python3 with :any (Helmut Grohne)
    Closes: #909112.
  * debian/copyright:
    - Remove copyrights for removed files.
    - Update copyright years.
    - Update source attribute.
    - Keep MIT as the name according to https://opensource.org/licenses/MIT.
Files:
7b909880103ab16bfb833891d31874fa 1846 libs optional isl_0.21-1.dsc
12caf7eea20946c581ace61302b1c876 1621680 libs optional isl_0.21.orig.tar.xz
adebfceb8b54f7ddf3325634c2cd7600 23836 libs optional isl_0.21-1.debian.tar.xz
7371c873567fa9139a001a24d0c63834 6994 libs optional isl_0.21-1_amd64.buildinfo
538074217dbc2d2921e001390e8d8d25 655620 libdevel optional libisl-dev_0.21-1_amd64.deb
2509df1461c7e77a8504b6dff1ff6948 2128456 debug optional libisl21-dbgsym_0.21-1_amd64.deb
b7380696370683cc22402325a3531712 592944 libs optional libisl21_0.21-1_amd64.deb
control file for libisl21_0.21-1_amd64.deb (click to toggle)
Package:libisl21
Source:isl
Version:0.21-1
Architecture:amd64
Maintainer:Debian GCC Maintainers <debian-gcc@lists.debian.org>
Installed-Size:1981
Depends:libc6 (>=2.14), libgmp10
Breaks:libisl-dbg (<< 0.19)
Replaces:libisl-dbg (<< 0.19)
Section:libs
Priority:optional
Multi-Arch:same
Homepage:http://isl.gforge.inria.fr/
Description:
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.
lintian 2.15.0~bpo9+1 check for libisl21_0.21-1_amd64.deb (click to toggle)
contents of libisl21_0.21-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2019-06-26 12:28 ./
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/lib/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/lib/x86_64-linux-gnu/
-rw-r--r-- root/root   1834168 2019-06-26 12:28 ./usr/lib/x86_64-linux-gnu/libisl.so.21.0.0
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/share/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/share/doc/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/share/doc/libisl21/
-rw-r--r-- root/root      1471 2019-06-26 12:28 ./usr/share/doc/libisl21/changelog.Debian.gz
-rw-r--r-- root/root      2148 2019-03-14 17:17 ./usr/share/doc/libisl21/changelog.gz
-rw-r--r-- root/root      7035 2019-06-24 08:40 ./usr/share/doc/libisl21/copyright
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/share/gdb/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/share/gdb/auto-load/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/share/gdb/auto-load/usr/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/share/gdb/auto-load/usr/lib/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/share/gdb/auto-load/usr/lib/x86_64-linux-gnu/
-rw-r--r-- root/root      2893 2019-06-26 12:28 ./usr/share/gdb/auto-load/usr/lib/x86_64-linux-gnu/libisl.so.21.0.0-gdb.py
lrwxrwxrwx root/root         0 2019-06-26 12:28 ./usr/lib/x86_64-linux-gnu/libisl.so.21 -> libisl.so.21.0.0
control file for libisl21-dbgsym_0.21-1_amd64.deb (click to toggle)
Package:libisl21-dbgsym
Source:isl
Version:0.21-1
Auto-Built-Package:debug-symbols
Architecture:amd64
Maintainer:Debian GCC Maintainers <debian-gcc@lists.debian.org>
Installed-Size:2328
Depends:libisl21 (=0.21-1)
Section:debug
Priority:optional
Multi-Arch:same
Description:
debug symbols for libisl21
Build-Ids:f3f783657988d2a783295a8ec64a91efc8aa3647
lintian 2.15.0~bpo9+1 check for libisl21-dbgsym_0.21-1_amd64.deb (click to toggle)
contents of libisl21-dbgsym_0.21-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2019-06-26 12:28 ./
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/lib/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/lib/debug/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/lib/debug/.build-id/f3/
-rw-r--r-- root/root   2372696 2019-06-26 12:28 ./usr/lib/debug/.build-id/f3/f783657988d2a783295a8ec64a91efc8aa3647.debug
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/share/
drwxr-xr-x root/root         0 2019-06-26 12:28 ./usr/share/doc/
lrwxrwxrwx root/root         0 2019-06-26 12:28 ./usr/share/doc/libisl21-dbgsym -> libisl21

Timestamp: 26.06.2019 / 14:16:57 (UTC)