tanglu or debian

Sat Aug 22 01:13:58 UTC 2015

I reported this problem on the tanglu forum,

  http://tangluusers.org/thread/opencl-with-the-nvidia-proprietary-driver-78/

Shall I also file a bug with debian? I expect tanglu is using the 
debian packages unmodified so my issues are probably relevant to 
debian.

Thank you.

-- 
Joshua N. Pritikin
Department of Psychology
University of Virginia
485 McCormick Rd, Gilmer Hall Room 102
Charlottesville, VA 22904
http://people.virginia.edu/~jnp3bc