Your message dated Thu, 17 Oct 2013 15:20:15 +0000
with message-id <e1vwpn1-0007ai...@franck.debian.org>
and subject line Bug#714830: fixed in isl 0.12.1-1
has caused the Debian Bug report #714830,
regarding isl: New upstream release
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
714830: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714830
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: isl
Severity: wishlist

Hello Matthias,

It would be nice if you could package the release 0.12.
This version is needed for LLVM Toolchain Snapshot.

Thanks,
Sylvestre


-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (600, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

--- End Message ---
--- Begin Message ---
Source: isl
Source-Version: 0.12.1-1

We believe that the bug you reported is fixed in the latest version of
isl, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 714...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Matthias Klose <d...@debian.org> (supplier of updated isl package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


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

Format: 1.8
Date: Thu, 17 Oct 2013 15:30:11 +0200
Source: isl
Binary: libisl-dev libisl-dbg libisl10
Architecture: source amd64
Version: 0.12.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <d...@debian.org>
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
Closes: 682352 714830 721854
Changes: 
 isl (0.12.1-1) unstable; urgency=low
 .
   * New upstream release. Closes: #714830.
   * libisl10: Breaks libcloog-isl4 (<< 0.18.1).
   * Update symbols file.
   * Build-depend on libcloog-isl-dev (>= 0.18.1) to make sure that the
     cloog version compatible with isl-0.12 already is in the archive.
   * Use dh_autotools-dev, not autoreconf to update config.{sub,guess}.
     Closes: #721854.
   * Update project home page. Closes: #682352.
Checksums-Sha1: 
 3e492cd6a69bbaae122a6dd42c28d8697733fb66 1255 isl_0.12.1-1.dsc
 a54e80a32bc3e06327053d77d6a81516d4f4b21f 1305540 isl_0.12.1.orig.tar.bz2
 fb0aedccb2e38c9dde20a7fe42dffee3be4b7ea7 63976 isl_0.12.1-1.debian.tar.gz
 97edec7030fb769406cab587369b10b39b2595c1 453224 libisl-dev_0.12.1-1_amd64.deb
 e5de37aa47d808f02a92c0b22f0e1216ee42c70d 916722 libisl-dbg_0.12.1-1_amd64.deb
 3e609558eb295753741f4d49977eda2f91e28f7b 434462 libisl10_0.12.1-1_amd64.deb
Checksums-Sha256: 
 458024deec4a3da3246c4f2c8915df273d23e70ba23f4f121d61cebbff69ba1f 1255 
isl_0.12.1-1.dsc
 43ba8a43c3554a72a7e9e0d913a52dedbc0d712f472f3e62d239517bdd53e7b7 1305540 
isl_0.12.1.orig.tar.bz2
 65ee1426273df73541e1250ce7fca280df4e1d7f32ddf7f447df717e497f3fc2 63976 
isl_0.12.1-1.debian.tar.gz
 4e218b6caafff14637ea85e76a1429201e0e8a6e2a8c4bb3d91fc59489632e85 453224 
libisl-dev_0.12.1-1_amd64.deb
 7e54ce024ad982683a74a828f2e92813f62fb5bebebd019226c937596a0a3a70 916722 
libisl-dbg_0.12.1-1_amd64.deb
 063623fb8c8c9dfaa8eb95fe713e58e5dd69ac578f08ee2d36d361fde1a40b63 434462 
libisl10_0.12.1-1_amd64.deb
Files: 
 6c73b3b8c07c75f3d9686cbb08f170c4 1255 libs optional isl_0.12.1-1.dsc
 27d381085ff1b5733c3e8a9b6ad24a4d 1305540 libs optional isl_0.12.1.orig.tar.bz2
 bcb2b9afd657071b45ea7fee2200753e 63976 libs optional isl_0.12.1-1.debian.tar.gz
 e1ab9a52038d5e09de17507008240278 453224 libdevel optional 
libisl-dev_0.12.1-1_amd64.deb
 7865f8cdf67ab3230b0790fd77dd98bf 916722 debug extra 
libisl-dbg_0.12.1-1_amd64.deb
 6f8eab98a9224619a745af3433528474 434462 libs optional 
libisl10_0.12.1-1_amd64.deb

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

iEYEARECAAYFAlJf+n4ACgkQStlRaw+TLJxK8QCeJbIWKzUOxRWwwgaFYnXJaJ3H
a1kAn1HLHLWHRe2EQT9aiNFxqFVMWgiV
=qLnM
-----END PGP SIGNATURE-----

--- End Message ---

Reply via email to