Processed: ah, already reported against numerix

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reassign 236821 numerix
Bug#236821: libcnumx0: /usr/lib/libcnumx.so. has a weird name
Bug reassigned from package `libcnumx0' to `numerix'.

> severity 236821 minor
Bug#236821: libcnumx0: /usr/lib/libcnumx.so. has a weird name
Severity set to `minor'.

> merge 236182 236821
Bug#236182: numerix: name of the shared library libcnumx.so. lacks version number -> packaging error
Bug#236821: libcnumx0: /usr/lib/libcnumx.so. has a weird name
Merged 236182 236821.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)