Format: 1.8
Date: Tue, 04 Nov 2014 16:09:17 +0100
Source: isl
Binary: libisl-dev libisl-dbg libisl10
Architecture: source
Version: 0.12.2-2~12.04
Distribution: precise
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
 libisl10   - manipulating sets and relations of integer points bounded by line
Changes: 
 isl (0.12.2-2~12.04) precise; urgency=medium
 .
   * PPA upload to precise.
Checksums-Sha1: 
 47e57c93c6305006a29dfe3a0fe6bc5f12500493 1246 isl_0.12.2-2~12.04.dsc
 6f591a30900acf303062fb80a9abd707c997fde6 20121 isl_0.12.2-2~12.04.debian.tar.gz
Checksums-Sha256: 
 1d2ddb0d75bb16ce6a79b498d5102d5187e4960ca76593a75a2051ac94412c89 1246 isl_0.12.2-2~12.04.dsc
 5d92f874d9f52aa5c8fc1374e6304104733e1582717c053d78707e8995fbb87d 20121 isl_0.12.2-2~12.04.debian.tar.gz
Files: 
 d433a57a5f11b30c42169fbae9f821bb 1246 libs optional isl_0.12.2-2~12.04.dsc
 9f1172ab6adb21d888f64378f94324dc 20121 libs optional isl_0.12.2-2~12.04.debian.tar.gz