Your message dated Tue, 12 Aug 2014 13:11:17 +0200
with message-id <[email protected]>
and subject line libpolyorb2-dev: please rename to libpolyorb-dev
has caused the Debian Bug report #699666,
regarding libpolyorb2-dev: please rename to libpolyorb-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.)
--
699666: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=699666
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: libpolyorb2-dev
Severity: wishlist
Hi,
this should be on the TODO list for jessie, it will probably involve a
library transition, so coordination with the release team is needed ...
libpolyorb3 and libpolyorb2-dev have diverged on the SOVERSION they use
in the package name ... to avoid confusion these should be in sync (or
preferrably the -dev package should not have a SOVERSION part in its
package name at all).
Andreas
--- End Message ---
--- Begin Message ---
The number in the -dev package name is not an SOVERSION.
Please read the Debian Policy for Ada for details:
http://people.debian.org/~lbrenta/debian-ada-policy.html
This number is not a bug, it is a feature.
--
Ludovic Brenta.
--- End Message ---
