Accepted isl 0.07-1 (source amd64)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Thu, 11 Aug 2011 12:07:39 +0200
Source: isl
Binary: libisl-dev libisl7
Architecture: source amd64
Version: 0.07-1
Distribution: experimental
Urgency: low
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
 libisl7    - manipulating sets and relations of integer points bounded by line
Changes: 
 isl (0.07-1) experimental; urgency=low
 .
   * Initial release.
Checksums-Sha1: 
 63af04734bdb07f2f3c653ae2a008697fb492e3c 1088 isl_0.07-1.dsc
 7788b5021a2390158f3a6e9bdf45caaa4aefe697 1087435 isl_0.07.orig.tar.gz
 57b63a8b1c035d3a2d803c0d171fa13857731a95 1904 isl_0.07-1.debian.tar.gz
 81ab247f63e9fe301f8f630bb7bc9596fef4edc9 468538 libisl-dev_0.07-1_amd64.deb
 a5c9f6b10bb84bbd458e1bad86a2798f56109aee 379010 libisl7_0.07-1_amd64.deb
Checksums-Sha256: 
 a150db6a44fcbd403247cfa6335233587b648020d7f65139f7a3fdcb7616542b 1088 isl_0.07-1.dsc
 0a66098ba6bb6b3cf4a01e5b0ff90a2d43c2b2d9b27821d935f4d2e981e957ae 1087435 isl_0.07.orig.tar.gz
 dd0f8f8d264ebed9d093011ba47ff55c760fe6c83b2468b020074aa96ce2af1c 1904 isl_0.07-1.debian.tar.gz
 c9b1e8b1956ab5a3dd34b8af0728e5c10a7b83d8d7e73c9ad4c7627561cb8763 468538 libisl-dev_0.07-1_amd64.deb
 ef0b97fa9cb1e9a7057fa0877d3618522379d0d0125a1cc144f0e810e8bcb301 379010 libisl7_0.07-1_amd64.deb
Files: 
 d46f69fc791b6ba3c5c185f67542b1fa 1088 libs optional isl_0.07-1.dsc
 99c2dfa978bc8554421d27fe0dd14357 1087435 libs optional isl_0.07.orig.tar.gz
 8655e9113b912bcdb5aadbfca8725cc3 1904 libs optional isl_0.07-1.debian.tar.gz
 0e9f8bd39b4099ae4abae7b7a5421ab9 468538 libdevel optional libisl-dev_0.07-1_amd64.deb
 f79c1e148d7873d680445076a76f8150 379010 libs optional libisl7_0.07-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk5Dv6QACgkQStlRaw+TLJyU2wCeOG70iM5fvdcCeBJvdGxZbkMr
WGMAn1gKkdfczVUq6gNjFYnFfTFe+Gzn
=/vzD
-----END PGP SIGNATURE-----


Accepted:
isl_0.07-1.debian.tar.gz
  to main/i/isl/isl_0.07-1.debian.tar.gz
isl_0.07-1.dsc
  to main/i/isl/isl_0.07-1.dsc
isl_0.07.orig.tar.gz
  to main/i/isl/isl_0.07.orig.tar.gz
libisl-dev_0.07-1_amd64.deb
  to main/i/isl/libisl-dev_0.07-1_amd64.deb
libisl7_0.07-1_amd64.deb
  to main/i/isl/libisl7_0.07-1_amd64.deb