Processed: tagging 812304, fixed 834446 in 364.19-2, fixed 834446 in 367.44-2, reassign 819990 to boinc ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 812304 + sid stretch
Bug #812304 [libv8-3.14] libv8-3.14: FTBFS with GCC 6: x64.release.check crashed
Added tag(s) sid and stretch.
> fixed 834446 364.19-2
Bug #834446 {Done: Andreas Beckmann <anbe at debian.org>} [nvidia-kernel-dkms] nvidia-kernel-dkms: kernel module does not build for 64-bit kernel with 32-bit userspace
Bug #837753 {Done: Andreas Beckmann <anbe at debian.org>} [nvidia-kernel-dkms] nvidia-kernel-dkms: does not build for x86_64 kernel on i386 userspace
Marked as fixed in versions nvidia-graphics-drivers/364.19-2.
Marked as fixed in versions nvidia-graphics-drivers/364.19-2.
> fixed 834446 367.44-2
Bug #834446 {Done: Andreas Beckmann <anbe at debian.org>} [nvidia-kernel-dkms] nvidia-kernel-dkms: kernel module does not build for 64-bit kernel with 32-bit userspace
Bug #837753 {Done: Andreas Beckmann <anbe at debian.org>} [nvidia-kernel-dkms] nvidia-kernel-dkms: does not build for x86_64 kernel on i386 userspace
Marked as fixed in versions nvidia-graphics-drivers/367.44-2.
Marked as fixed in versions nvidia-graphics-drivers/367.44-2.
> reassign 819990 boinc
Bug #819990 {Done: Gianfranco Costamagna <locutusofborg at debian.org>} [libnvidia-ml1] [libnvidia-ml1] can not dlopen(libnvidia-ml.so) from app
Bug reassigned from package 'libnvidia-ml1' to 'boinc'.
No longer marked as found in versions nvidia-graphics-drivers/352.79-5.
No longer marked as fixed in versions boinc/7.6.31+dfsg-5.
> fixed 819990 7.6.31+dfsg-5
Bug #819990 {Done: Gianfranco Costamagna <locutusofborg at debian.org>} [boinc] [libnvidia-ml1] can not dlopen(libnvidia-ml.so) from app
Marked as fixed in versions boinc/7.6.31+dfsg-5.
> thanks
Stopping processing here.

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