TB-RK3399ProD平台的OpenCL问题

硬件：TB-RK3399ProD

已更新debian源

按整合贴的安装OpenGL/ OpenCL操作，执行sudo apt install ocl-icd-opencl-dev失败

输出：
ocl-icd-opencl-dev : Depends: ocl-icd-libopencl1 (= 2.2.12-2) but 2.2.12-3 is to be installed

尝试过删除cl-icd-libopencl1后，也无法安装ocl-icd-opencl-dev，也无法指定安装cl-icd-libopencl1（sudo apt install cl-icd-libopencl1=2.2.13-2）

请问应该怎么解决？

https://t.rock-chips.com/forum.p ... &extra=page%3D1