Bug#827509: marked as done (ITP: sollya -- library for safe floating-point code development)
Your message dated Wed, 29 Jun 2016 13:01:55 +0000
with message-id <E1bIF7r-00055W-1o@franck.debian.org>
and subject line Bug#827509: fixed in sollya 5.0+ds-1
has caused the Debian Bug report #827509,
regarding ITP: sollya -- library for safe floating-point code development
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 owner@bugs.debian.org
immediately.)
--
827509: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=827509
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Jerome Benoit <calculus@rezozer.net>
* Package name : sollya
Version : 5.0.0
Upstream Author : Christoph Lauter <christoph.lauter@lip6.fr>
* URL : http://sollya.gforge.inria.fr/
* License : Cecill-C
Programming Lang: C
Description : library for safe floating-point code development
Sollya is both a tool environment and a library for safe floating-point
code development. It offers a convenient way to perform computations with
multiple precision interval arithmetic. It is particularly targeted to the
automatized implementation of mathematical floating-point libraries (libm).
The Sollya library also opens to dynamical extension with bindings such as
for Python and Sage.
This package will be maintained on behalf of the Debian Science Team.
--- End Message ---
--- Begin Message ---
Source: sollya
Source-Version: 5.0+ds-1
We believe that the bug you reported is fixed in the latest version of
sollya, 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 827509@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Jerome Benoit <calculus@rezozer.net> (supplier of updated sollya 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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 27 Jun 2016 16:09:53 +0000
Source: sollya
Binary: sollya libsollya5 libsollya-dev sollya-doc
Architecture: source amd64 all
Version: 5.0+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Jerome Benoit <calculus@rezozer.net>
Description:
libsollya-dev - library for safe floating-point code development -- libdev
libsollya5 - library for safe floating-point code development -- lib
sollya - library for safe floating-point code development -- tool
sollya-doc - library for safe floating-point code development -- doc
Closes: 827509
Changes:
sollya (5.0+ds-1) unstable; urgency=medium
.
* Initial release (Closes: #827509).
Checksums-Sha1:
feb45ecde9268470d6701f4b1c6ae1e0c213b6b2 2233 sollya_5.0+ds-1.dsc
2419a60726db96abb2787e05a1c2fda5bfc618aa 1928708 sollya_5.0+ds.orig.tar.xz
79bc8e4a7cb4fb17b3ebe87c0c526d83be936e8f 57476 sollya_5.0+ds-1.debian.tar.xz
bd27e6731272b5d22dc2c47e578c5cb0fa4b0a49 734792 libsollya-dev_5.0+ds-1_amd64.deb
be0335e50431a7f291bbb797d7d7ab33b6031db1 1359282 libsollya5-dbgsym_5.0+ds-1_amd64.deb
e81c52fb3405207b23d960fbfc1a883f5b19a1bd 694526 libsollya5_5.0+ds-1_amd64.deb
f221c18a42dabd3b561846e1c50b8b30dac74178 1395742 sollya-dbgsym_5.0+ds-1_amd64.deb
64d09e7ec48b5b602bb4b5dc2c327dac295dd9c7 1264388 sollya-doc_5.0+ds-1_all.deb
502e20be506cf5bff16b82b40838c5b429bb3e17 825802 sollya_5.0+ds-1_amd64.deb
Checksums-Sha256:
7b7a5dc31e1093e55a811e1a3523f041757639c729b5f2e9486a364997f708b6 2233 sollya_5.0+ds-1.dsc
cbeee5d964b2e1c8cf3352f6aac582d242ad54b414b59ce0a1db5ecf8c904e15 1928708 sollya_5.0+ds.orig.tar.xz
ed40c7a91553152ee1580b7a8b32f4075d96ef11ad10246595597ce72d4c171e 57476 sollya_5.0+ds-1.debian.tar.xz
7b834aae071473ad51c532ba75c6611048cc108a855bb134a9df4b02ff8d8b06 734792 libsollya-dev_5.0+ds-1_amd64.deb
0403c3b56d634b96dc913bc13c056322c180357a582af1d12e29c0549c5fa250 1359282 libsollya5-dbgsym_5.0+ds-1_amd64.deb
ef1b6d40c1cc39bafdd11a6ce37b8815c672b4ad251ee1b2d474c3e72a77d2a2 694526 libsollya5_5.0+ds-1_amd64.deb
73c2982b8d45809d4696ba5eb4ed464fd6af012e410b20dc901fb6340d067b53 1395742 sollya-dbgsym_5.0+ds-1_amd64.deb
4be5cceba2298fb1bfc822357d19946cd11773afaa8d8ee9dc8ef4f297554a0a 1264388 sollya-doc_5.0+ds-1_all.deb
ef32badca70b27c96eddfb0898fb53e2c5f4b658c5508201514dffcf4cccaa4f 825802 sollya_5.0+ds-1_amd64.deb
Files:
1d0b94baf48e6a9f6b3fa32a21464afa 2233 math optional sollya_5.0+ds-1.dsc
ee6a183e9eb05a98cf65810baca44943 1928708 math optional sollya_5.0+ds.orig.tar.xz
0751b4aa6ca2ac7b200d82ff19473186 57476 math optional sollya_5.0+ds-1.debian.tar.xz
eedf23d82d24d68001ec0d3db058aa82 734792 libdevel optional libsollya-dev_5.0+ds-1_amd64.deb
95e62658b5b361cf097f0fbffef9d3d0 1359282 debug extra libsollya5-dbgsym_5.0+ds-1_amd64.deb
0a7c8aa97753fb5c1d2dbd4017e67464 694526 libs optional libsollya5_5.0+ds-1_amd64.deb
56977046b9f437261f37b746a5812369 1395742 debug extra sollya-dbgsym_5.0+ds-1_amd64.deb
e82a1f22e632e7d3c11cb3706cc6abfb 1264388 doc optional sollya-doc_5.0+ds-1_all.deb
b8e7289582ca20dd195f40d22510247a 825802 math optional sollya_5.0+ds-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXc5JcAAoJEPNPCXROn13ZVzwQAMlXiAGnqU6iMOj6aJhW8f0H
OplArJO4bs7vo5wsh2I1l1yF2egxpTXNLO7SQW/jiPWHL/Qik+9wxL83osLjASVx
o1jT/4XzSjyvJve9ZsHVpd2Zqi4m64jFZQ9xZQBlGkN6WTNRd9RsLElRbckaHSDA
cI2GwpE4OrxrXlyXciXx5d5shkV4kWVsjeUIH+6K2awGvxoCeGPiMMQcPDiS1Z/y
lHH9gZPa5G3nYZwY6/Iv3MnatjcRtW0rGzgcCi27Grr+9L5JBBstsW87+93XYJV/
iAhValx6lEg17o4zg9rQSI0KVwXNpDaiUjsmb8TG0U+XbHWHIlS3Jit2kPEMNSZ6
ODcTr8mbaU1XCdKbSaVGyi3yM2TphlDciwoY+voJLjf/xF/W7jSyut74MzJI3emt
C4xg6U/cWU0UkS6lo9jyZBDqcJZlXFB/Sy1TACbytHcdI8hD0ZjZd0M5MQTtzedf
ukSIAHYRHv+FXG4XnaykcxU/CRoX1N9n27zyyecyYXSqdO+WdyqZdQaS8Noasn9+
WMP4tdhv2Iuu1w7xg2O34gSsr+OA2yrY9S4fyvToxkPfWDwu3EWSwc7HsFcavYSm
t7cgt1WS2o6wlVndIJ6Qfqi12S9Ot/4ubjMWmwZzrqFjQKia6xphw9UfZwo7vgZR
lt/K7YSeVqI3WPXgjjGx
=E4pJ
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: