Format: 1.8
Date: Mon, 30 Nov 2015 11:34:44 +0100
Source: isl
Binary: libisl-dev libisl-dbg libisl15
Architecture: source
Version: 0.15-3~14.04
Distribution: trusty
Urgency: medium
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@ubuntu.com>
Description: 
 libisl-dbg - manipulating sets and relations of integer points bounded by line
 libisl-dev - manipulating sets and relations of integer points bounded by line
 libisl15   - manipulating sets and relations of integer points bounded by line
Changes: 
 isl (0.15-3~14.04) trusty; urgency=medium
 .
   * PPA upload.
Checksums-Sha1: 
 ade2b6ae782f91415ffc7a77ffdf566867a416d5 1855 isl_0.15-3~14.04.dsc
 f2ec4facef46278bf80cfb14b6328d8388aab536 24544 isl_0.15-3~14.04.debian.tar.gz
Checksums-Sha256: 
 92ba71d090544fd58b84b5ad7e1ba9d1b861ae1997d3fcc8a690f95c85c6f023 1855 isl_0.15-3~14.04.dsc
 8dc21ec62d89beb1fd97011dfb80dbfc94b8e56513d4e82b5550b4a3008bd352 24544 isl_0.15-3~14.04.debian.tar.gz
Files: 
 3e386d13420bbbf22fdafba8fbf8b063 1855 libs optional isl_0.15-3~14.04.dsc
 11065b34c43617e0b69bbbb3588804f8 24544 libs optional isl_0.15-3~14.04.debian.tar.gz