1
-----BEGIN PGP SIGNED MESSAGE-----
6
Binary: libisl-dev, libisl-dbg, libisl10
8
Version: 0.12.2-2~12.04ppa1
9
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
10
Uploaders: Matthias Klose <doko@debian.org>
11
Homepage: http://freecode.com/projects/isl
12
Standards-Version: 3.9.5
13
Build-Depends: debhelper (>= 7.0.50~), dh-autoreconf, automake1.11, libgmp-dev
15
libisl-dbg deb debug extra
16
libisl-dev deb libdevel optional
17
libisl10 deb libs optional
19
ca98a91e35fb3ded10d080342065919764d6f928 1319434 isl_0.12.2.orig.tar.bz2
20
6cfc0e2459fb2b4cf735fc124711ae9f5485559c 19951 isl_0.12.2-2~12.04ppa1.debian.tar.gz
22
f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4 1319434 isl_0.12.2.orig.tar.bz2
23
c81c5af358933ae3a3c3c3562522e5a9f6a652b492ca5ef2f7d22009338749ba 19951 isl_0.12.2-2~12.04ppa1.debian.tar.gz
25
e039bfcfb6c2ab039b8ee69bf883e824 1319434 isl_0.12.2.orig.tar.bz2
26
15195f1431819234ff21b69caff60192 19951 isl_0.12.2-2~12.04ppa1.debian.tar.gz
28
-----BEGIN PGP SIGNATURE-----
29
Version: GnuPG v1.4.11 (GNU/Linux)
31
iQEcBAEBAgAGBQJWuZotAAoJEE20cJYvrev11vcH/3z30IDEAFJUjwWsA2BHmQjS
32
zCjRfZ6DL9S6YY5kDLibiNFGREjl3LMavJUyVRpKVE1f8dKaAheBVpQPCLsW0a1N
33
e3Ev6oAVYmdt432xV9/b8G+SNlCWeaB0QfBuqVBkSXh2vXXF7Ot3kkmMBKgTCuyV
34
b4qGZGpD9ycWJsU8CxnucVGL0Q3kDaoAhBa5qBPkDRlt2+Zi6BAinOf4GvysX59q
35
5loXOvZVycnpGv2kM7lxsGUBZbVQsse1dPOekWvlOCG5kImwq5IuI6z1WBBGfNUR
36
TTEqK36JGrXyCfUB0s/V03BacxN/tzYgTcPYCLl40/RIyFV4l+igsC1LuQ4O9jw=
38
-----END PGP SIGNATURE-----