Processed: found 810075 in 1.1.1-1, found 810516 in 3.0.0+dfsg-1~exp2, found 810517 in 1.6.0-4

Tue Jan 12 15:18:06 UTC 2016

Processing commands for control at bugs.debian.org:

> found 810075 1.1.1-1
Bug #810075 [yubikey-piv-manager] uninstallable:  yubico-piv-tool is not available
Marked as found in versions yubikey-piv-manager/1.1.1-1.
> found 810516 3.0.0+dfsg-1~exp2
Bug #810516 [libopencv3.0-java] libopencv3.0-java: fails to upgrade from 'sid' - trying to overwrite /usr/share/java/opencv.jar
Marked as found in versions opencv/3.0.0+dfsg-1~exp2.
> found 810517 1.6.0-4
Bug #810517 [libwebsockets-test-server-common] libwebsockets-test-server-common: fails to upgrade from 'testing' - trying to overwrite /usr/share/libwebsockets-test-server/favicon.ico
Marked as found in versions libwebsockets/1.6.0-4.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
810075: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810075
810516: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810516
810517: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810517
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems