Format: 1.8 Date: Thu, 09 May 2013 14:38:13 +0200 Source: isl Binary: libisl-dev libisl-dbg libisl10 Architecture: source amd64 Version: 0.11.2-1 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers Changed-By: Matthias Klose 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.11.2-1) unstable; urgency=low . * New upstream release. * Update symbols file. Checksums-Sha1: 7a79240834df795804d74e9ad9bd47f6166a5f26 994 isl_0.11.2-1.dsc ca2c93a58e899379d39f2956b2299c62e3975018 1252984 isl_0.11.2.orig.tar.bz2 c37135770e14427e49ce4c701a3f0b12e36a93ca 16295 isl_0.11.2-1.debian.tar.gz 69ab51d605db8c8dcac3159ebace9f6319e53bcc 617584 libisl-dev_0.11.2-1_amd64.deb 0661c27bfe328ee5e5080bb8a69795961a1a5a41 1234320 libisl-dbg_0.11.2-1_amd64.deb 43a04349019919ea2d5d85601027424d09b5f03e 518462 libisl10_0.11.2-1_amd64.deb Checksums-Sha256: 35125803df1576f936bb32da6d2856e19ec027a486017cc1d84f1ed4772db6c8 994 isl_0.11.2-1.dsc e6d83347d254449577299ec86ffefd79361dc51f6de7480723c9c43b075cdc23 1252984 isl_0.11.2.orig.tar.bz2 a9f9200b39f999d871a0781bf466b8df8096396676c27fb610ab040faa9b96f6 16295 isl_0.11.2-1.debian.tar.gz b12845bda8a3eceb36790da699ee332c36e325bfc453f9e5272036aadc3e1064 617584 libisl-dev_0.11.2-1_amd64.deb 3fb59dde6a44c9ba17f867cded99636d2d2fe7a5fdecd873a088c80e27f1afe3 1234320 libisl-dbg_0.11.2-1_amd64.deb 6bab5308225155fce7af6d7a6799ee56e6b817ad8fe9499c4e48a57cad131445 518462 libisl10_0.11.2-1_amd64.deb Files: b2487fa1cb7f8c8684fe097ae34451c1 994 libs optional isl_0.11.2-1.dsc c40daa17d2995d1c98a0c1aca607541f 1252984 libs optional isl_0.11.2.orig.tar.bz2 b81a080370c4c283087316833410d63f 16295 libs optional isl_0.11.2-1.debian.tar.gz 87ce554cd6b7d32195603c793d2e15a2 617584 libdevel optional libisl-dev_0.11.2-1_amd64.deb c5600104379339be3ccf74b0a8f4c9cd 1234320 debug extra libisl-dbg_0.11.2-1_amd64.deb d2d62da7ef9799aa2631e104a309fe1d 518462 libs optional libisl10_0.11.2-1_amd64.deb