Your message dated Mon, 06 Nov 2017 15:07:53 +0000
with message-id <[email protected]>
and subject line Bug#879597: fixed in flint 2.5.2-16
has caused the Debian Bug report #879597,
regarding libflint-dev: No static library included
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 [email protected]
immediately.)
--
879597: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=879597
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: libflint-dev
Version: 2.5.2-15
Severity: minor
Dear Maintainer,
The FLINT library supports building a static library. This
upstream-default is explicitly disabled in the Debian package,
seemingly for no reason.
Could the --disable-static configure option be removed? A static
library would be convenient for those of us who need to build
statically linked programs using FLINT.
Regards,
Gard Spreemann
-- System Information:
Debian Release: 9.2
APT prefers stable-updates
APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 4.9.0-4-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_IE.UTF-8, LC_CTYPE=en_IE.UTF-8 (charmap=UTF-8),
LANGUAGE=en_US:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
Versions of packages libflint-dev depends on:
ii libflint-2.5.2 2.5.2-15
ii libmpfr-dev 3.1.5-1
libflint-dev recommends no packages.
libflint-dev suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: flint
Source-Version: 2.5.2-16
We believe that the bug you reported is fixed in the latest version of
flint, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (supplier of updated flint 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 06 Nov 2017 10:07:20 +0100
Source: flint
Binary: libflint-2.5.2 libflint-dev libflint-doc
Architecture: source amd64 all
Version: 2.5.2-16
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
libflint-2.5.2 - C library for number theory, shared library
libflint-dev - C library for number theory, development files
libflint-doc - Documentation for the FLINT library
Closes: 879597
Changes:
flint (2.5.2-16) unstable; urgency=medium
.
* Bump standards-version to 4.1.1.
* Bump d/watch to version 4.
* Add override for missing autopkgtest.
* Avoid parsing the changelog for the upstream version.
* Ship the static version of the library. (Closes: #879597)
* Add patch to add __volatile__ to avoid a bug.
Checksums-Sha1:
4597d556b1531d2a307ffb204e2971636aa8f06a 2195 flint_2.5.2-16.dsc
95180f00997308dc23cb03cbcf002086916edbf9 7908 flint_2.5.2-16.debian.tar.xz
586ec653f45ac0066053c05d46454636bf5e76e5 9191 flint_2.5.2-16_amd64.buildinfo
6cb805f00ea1f36f8872e5e1870ea8490b568310 3212592
libflint-2.5.2-dbgsym_2.5.2-16_amd64.deb
4782d82476067afa8720300b38974e4adb6c66dc 921616
libflint-2.5.2_2.5.2-16_amd64.deb
3f43f5cd05a2add5cbdeea15c3d0d212ae85a3fc 1164104
libflint-dev_2.5.2-16_amd64.deb
9ea5035ee588ce2f6c289e3ca939a510e86a4c0f 2358680 libflint-doc_2.5.2-16_all.deb
Checksums-Sha256:
4e195470c61fabd7fc1806405e33511d98e7a3c11609f4684531807cb87a4571 2195
flint_2.5.2-16.dsc
3c0e86d8e4a035b27653c3b07901db02b2dafbbf028da708f79327cd535f4843 7908
flint_2.5.2-16.debian.tar.xz
6da487ea9ab81fedabd7ecc5995361514202c13496fe5302782124672f701502 9191
flint_2.5.2-16_amd64.buildinfo
64a754361621434de2ec758e1befe491d3b43e7c01f16728eb75e102ef300bbe 3212592
libflint-2.5.2-dbgsym_2.5.2-16_amd64.deb
c0687b40ad1ee71352c60ac982724223caf039ace187a18f3ca28bcb251c64fd 921616
libflint-2.5.2_2.5.2-16_amd64.deb
ed94f3df46856a49a3c49ff05095910a0a5020dee4bf8c4e741dfc8d375e12d7 1164104
libflint-dev_2.5.2-16_amd64.deb
8d68be210e548b2051736f69a560fbf7618ef74d307c182dc088baae663307b2 2358680
libflint-doc_2.5.2-16_all.deb
Files:
36d39e2745440bce1469d4de6495b6af 2195 math optional flint_2.5.2-16.dsc
a4f1260bc5c862c57bb75f2b6ae04a1a 7908 math optional
flint_2.5.2-16.debian.tar.xz
89bb85fc93cc338aa098affdd444d17b 9191 math optional
flint_2.5.2-16_amd64.buildinfo
21f0a11407bbc6d084171571b93d8400 3212592 debug optional
libflint-2.5.2-dbgsym_2.5.2-16_amd64.deb
100fb9f8dd4eba3672bf762c48e8a37a 921616 libs optional
libflint-2.5.2_2.5.2-16_amd64.deb
c5578ddc07a1ccb08b043ac0dcc72cfb 1164104 libdevel optional
libflint-dev_2.5.2-16_amd64.deb
6547ff977243505a3c0a481b3008e333 2358680 doc optional
libflint-doc_2.5.2-16_all.deb
-----BEGIN PGP SIGNATURE-----
iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAloAMSsZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXh3EAChPailbK+9FvPhnJ6rAwTZ
UR7+gZ0oCqrB1bsOpgz/8YyRXVJqEJU5Y44myxHOSHQlwn64YyzFEirCxuPBaAhI
Sej3vvQjJcna97f2aLaAtUiolPm9hRKoexAoilI+0dzAFUI38AzTa7dh2JTdjvDl
CyhJmV/JVITAj3astjKZtV611tWYvhRfMNxPfmyH2huwZDUEVKLQnqXavDno6pw2
rP9SP0tTlvMzR6BkD5rd0uxaq4AcB4ejInnbatFmDTbklmz0rSf78kYqr4NomWeM
/qpEk8QYYeGP6mFw3Hj05OSuwb+q5r90WQVzqdO7c9utLcMM7nkC7zpiw4x0YI/x
zUkBKADFYxLesPGAa5v5lmzjJ8F817fIdsQuQUlTp42vgxfn7U1VpgUy+sxRLkvw
hqxTGP02Pbvo1CkAf92BjJQZvOdP5V4sWOUvgFwsA1fNa0Wz7Kdv8k0OuxiD0Wli
t/Ytm562t9zyCAYS+qWL0JCRJYB7SAb9SONmJnZ3WWYyNS/h2LL3RI9ch8bL64y5
W48wFkSyLlpTXrPK338m5/OebrErpXvdQetrqKMAOOsNM3zY0Ea28sq1FwmmXV4x
b4ZfBxz+nldjnfwm+7YvPhOqnHp5OfuwTSe6519/eosodzU6ZYYaWWYn6Ya/WwXH
G+NxR3Y5UlqoFFj/CxsGzw==
=9v0A
-----END PGP SIGNATURE-----
--- End Message ---
