[Pkg-opencl-devel] Processed: block 838302 with 837112

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> block 838302 with 837112
Bug #838302 [opencl-headers] opencl-headers depends on unavailable opencl-clhpp-headers
838302 was not blocked by any bugs.
838302 was not blocking any bugs.
Added blocking bug(s) of 838302: 837112
> thanks
Stopping processing here.

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