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 ---
