Bug#796715: coinor-osi: diff v3 (forgot -dbg)

Rene Engelhard rene at debian.org
Tue Aug 25 11:10:36 UTC 2015


Hi,

On Tue, Aug 25, 2015 at 01:03:38PM +0200, Anton Gladky wrote:
> thanks for the patch. I do not see any reasons to
> rename -dbg binaries.

Yeah, maybe. I wasn't sure either but when renaming them it stays
consistent wrt the package names...

Regards,

Rene



More information about the debian-science-maintainers mailing list