Processed: Re: Bug#1150173: netgen: GUI does not start without libnglib-dev: loads the unversioned libnggui.so

[Debian Bug Tracking System]

Processing control commands:

> tags -1 patch
Bug #1150173 [netgen] netgen: GUI does not start without libnglib-dev: loads the unversioned libnggui.so
Added tag(s) patch.

-- 
1150173: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1150173
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems