Processed: tagging 814654, tagging 812595, tagging 872768, notfixed 838302 in 2.1-1

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 814654 - moreinfo
Bug #814654 {Done: Andreas Beckmann <anbe at debian.org>} [nvidia-driver] /dev/dri/card0: failed to set DRM interface version 1.4: Permission denied
Removed tag(s) moreinfo.
> tags 812595 - unreproducible
Bug #812595 {Done: Andreas Beckmann <anbe at debian.org>} [libgl1-nvidia-glx] ibgl1-nvidia-glx: can't install package
Bug #812594 {Done: Andreas Beckmann <anbe at debian.org>} [libgl1-nvidia-glx] libgl1-nvidia-glx: can't install or upgrade package
Removed tag(s) unreproducible.
Removed tag(s) unreproducible.
> tags 872768 + pending
Bug #872768 [src:khronos-opencl-headers] Please remove me from Uploaders
Added tag(s) pending.
> notfixed 838302 2.1-1
Bug #838302 {Done: Andreas Beckmann <anbe at debian.org>} [opencl-headers] opencl-headers depends on unavailable opencl-clhpp-headers
No longer marked as fixed in versions 2.1-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
812594: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812594
812595: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812595
814654: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=814654
838302: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=838302
872768: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872768
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems