Processed: user debian-qa at lists.debian.org, fixed 717184 in 304.88-6, found 720642 in 325.08-1 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user debian-qa at lists.debian.org
Setting user to debian-qa at lists.debian.org (was anbe at debian.org).
> fixed 717184 304.88-6
Bug #717184 {Done: Andreas Beckmann <anbe at debian.org>} [nvidia-kernel-dkms] nvidia-kernel-dkms: nvidia kernel module 319.32 fails to build on kernel 3.10-1-amd64
Marked as fixed in versions nvidia-graphics-drivers/304.88-6.
> found 720642 325.08-1
Bug #720642 {Done: Andreas Beckmann <anbe at debian.org>} [nvidia-driver] nvidia-driver: Kernel module fails to build for Nvidia Driver 325.08
Marked as found in versions nvidia-graphics-drivers/325.08-1.
> notfound 720642 304.88-6
Bug #720642 {Done: Andreas Beckmann <anbe at debian.org>} [nvidia-driver] nvidia-driver: Kernel module fails to build for Nvidia Driver 325.08
No longer marked as found in versions nvidia-graphics-drivers/304.88-6.
> tags 720058 + pending
Bug #720058 [libgl1-nvidia-glx] libgl1-nvidia-glx: when installing libgl1-*-glx on amd64, recommend i386 package if ia32libs is installed
Added tag(s) pending.
> found 723607 3.2+dfsg-1
Bug #723607 [opencaster,tstools] tstools and opencaster: error when trying to install together
There is no source info for the package 'tstools' at version '3.2+dfsg-1' with architecture ''
Marked as found in versions opencaster/3.2+dfsg-1.
> found 723607 1.11-1
Bug #723607 [opencaster,tstools] tstools and opencaster: error when trying to install together
There is no source info for the package 'opencaster' at version '1.11-1' with architecture ''
Marked as found in versions tstools/1.11-1.
> thanks
Stopping processing here.

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