Your message dated Fri, 18 Jan 2019 00:35:22 +0000
with message-id <[email protected]>
and subject line Bug#849319: fixed in ppl 1:1.2-4
has caused the Debian Bug report #849319,
regarding libppl-dev should recommend libgmp-dev instead of the dummy package
libgmp3-dev
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.)
--
849319: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=849319
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: libppl-dev
Version: 1:1.2-1
Severity: wishlist
libppl-dev currently recommends libgmp3-dev, which is a dummy
transitional package to libgmp-dev. It should recommend libgmp-dev
instead.
-- System Information:
Debian Release: stretch/sid
APT prefers unstable-debug
APT policy: (500, 'unstable-debug'), (500, 'stable-updates'), (500,
'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.8.0-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: sysvinit (via /sbin/init)
Versions of packages libppl-dev depends on:
ii dpkg 1.18.18
ii libppl-c4 1:1.2-1
ii libppl14 1:1.2-1
Versions of packages libppl-dev recommends:
ii libgmp3-dev 2:6.1.2+dfsg-1
Versions of packages libppl-dev suggests:
pn libppl-doc <none>
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: ppl
Source-Version: 1:1.2-4
We believe that the bug you reported is fixed in the latest version of
ppl, 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.
James Clarke <[email protected]> (supplier of updated ppl 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: Thu, 17 Jan 2019 23:43:15 +0000
Source: ppl
Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source
Version: 1:1.2-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team
<[email protected]>
Changed-By: James Clarke <[email protected]>
Description:
libppl-c4 - Parma Polyhedra Library (C interface)
libppl-dev - Parma Polyhedra Library (development)
libppl-doc - Parma Polyhedra Library: Documentation
libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
libppl14 - Parma Polyhedra Library (runtime library)
ppl-dev - Parma Polyhedra Library (development binaries)
Closes: 849319 916952
Changes:
ppl (1:1.2-4) unstable; urgency=medium
.
* Team upload.
* fix_AC_CHECK_SWI_PROLOG.patch: New patch to fix build with swi-prolog
7.7.25+dfsg-2
(Closes: #916952)
* Add pkg.ppl.no-swi-prolog profile to replace deprecated DEB_STAGE=stage1
* Use dh sequencer and drop inter-package /usr/share/doc symlinks
* Run wrap-and-sort -a
* Bump Standards-Version to 4.3.0; no changes needed
* debian/control:
- Recommend libgmp-dev rather than transitional libgmp3-dev
(Closes: #849319)
- Build-Depend on unversioned libncurses-dev and drop libncursesw5-dev
- Add Rules-Requires-Root: no
* debian/rules: Enable SWI-Prolog interface on arm64; hopefully improved
since 2013
* debian/watch: Point to updated download location
Checksums-Sha1:
a2162c0f3b91857eb73d543526e42ba5e9a0c1f0 2357 ppl_1.2-4.dsc
3cd75e80b365983c5bce46cb5eb4685c212d3bcb 11844 ppl_1.2-4.debian.tar.xz
Checksums-Sha256:
3f75acb3f2ebe8a7e75ec2f744875fd5b0bd7881139ccf17b5a8e1fe17397376 2357
ppl_1.2-4.dsc
8518c2eb2dfa9a9e5e447356babb0b7f309fb90615010beae2a1d91cb035e8af 11844
ppl_1.2-4.debian.tar.xz
Files:
bb9a07d1e75627b8a9ef6ac7ca30dc4b 2357 libs optional ppl_1.2-4.dsc
6eae94ee2823a6c50362effab6e7d9e3 11844 libs optional ppl_1.2-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlxBFo0ACgkQsZN3DBhq
HH0rgw/9EUCFSyY5WXEbVPvXZukMbd2BqWqpMZN0hVtvGaEaLKrVqZeXAomj4ye8
o64lnBbn5JoENymg2p79s/h/FHHAfusxQJDsZegFt5ybE8V0Mh8NE/3lwpOyWcxJ
bEjXDQ3liqeSo+TZ6E9L12vSs2DwdSs17/uTuc6he9D2+a5oTJpWyMbvXuJsxflB
AOY3jsbENb1FGwLQpjPZUIe3c2nlm1GJpkfamQ/4+7AYJnzxppG1RmjY+CixF0Fp
FNW5//YKK4P7Jp63W943PTiHEGU5XUvVzAnICfr5hw8HyNC/2koNh+9ZEsdupWRx
scYhf3jxTvpm7oQTooLRbzR+5AMjlPN1aCNAvGZNTjQnWn3iWp6AOn4nxbKdLbM2
ndXdYtT9xJgxuEUY6WeBAoYhTz+5xwQPzHS8b+Rpy6rFPLrVQDniPJm+CmWsni8W
wR1/d+JB8U8sAOm3D+e0G34GG2VPxPdbfFe3NnsPDd4U0rTYktbL70fCgPJVPnuh
osfQpVjFTxgR+e1+LNV5K51X9anisF/XTiOTK5jNoo8D3O56GC67YIS5WpTVI27V
GZ6gUU86I/3T1vYxu64K2kYXcCfV+bFX2xvhEUHtkwjZAnYvFVCW0SJCfPTPRRda
Sjlq2rhH6ERm9WX3k/ygf/DpnkF63mGQrZ6pPFNqL4mbqIYXGGQ=
=u9ru
-----END PGP SIGNATURE-----
--- End Message ---
--
debian-science-maintainers mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
