Your message dated Sat, 17 Jun 2023 19:18:06 +0300
with message-id <ZI3cvt7pgfdIjGkF@localhost>
and subject line Fixed in 2023.00.00.0-3
has caused the Debian Bug report #1035423,
regarding libcppad-dev: uninstallable in sid: conflict on the virtual cppad
package
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.)
--
1035423: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1035423
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: libcppad-dev
Version: 2023.00.00.0-2
Severity: serious
User: debian...@lists.debian.org
Usertags: piuparts
Hi,
during a test with piuparts I noticed your package is no longer
installable in sid:
The following packages have unmet dependencies:
libcppad-lib1456.0 : Conflicts: cppad
This is caused by contradicting
libcppad-dev: Provides/Replaces/Conflicts: cppad
libcppad-lib1456.0: Conflicts: cppad
Cheers,
Andreas
--- End Message ---
--- Begin Message ---
Version: 2023.00.00.0-3
cppad (2023.00.00.0-3) unstable; urgency=medium
[ Benoît Vinot ]
* Solve conflicts between packages.
-- Barak A. Pearlmutter <b...@debian.org> Thu, 15 Jun 2023 22:29:23 +0100
--- End Message ---
