RK3399Pro入门教程（12）OpenGL/CL在Debian10上的安装和使用

toybrick rk3399pro debian10安装opencl,之前按贴子已经刷机安装过很多次也都能成功。
今天尝试重新刷机安装opencl多次均报错
clinfo: /lib/aarch64-linux-gnu/libOpenCL.so.1: version `OPENCL_1.0' not found (required by clinfo)

把贴子里其它回复都查了下

更新source.list 也是没问题的
toybrick@debian10:~$ cat /etc/apt/sources.list.d/toybrick.list
deb http://repo.rock-chips.com/debian buster main
deb http://repo.rock-chips.com/toybrick/auth-debian buster main

这个也显示正确
toybrick@debian10:~$ ll /usr/lib/aarch64-linux-gnu/libOpenCL.so*
lrwxrwxrwx 1 root root 18 Dec 17  2018 /usr/lib/aarch64-linux-gnu/libOpenCL.so -> libOpenCL.so.1.0.0
lrwxrwxrwx 1 root root 18 Dec 17  2018 /usr/lib/aarch64-linux-gnu/libOpenCL.so.1 -> libOpenCL.so.1.0.0
lrwxrwxrwx 1 root root 25 Mar 20 03:06 /usr/lib/aarch64-linux-gnu/libOpenCL.so.1.0.0 -> libmali-toybrick.so.r18p0

但是这里是 -3
toybrick@debian10:~$ dpkg -l | grep clinfo
ii  clinfo                                 2.2.18.04.06-3                      arm64        Query OpenCL system information



重新来 更新debian10， update完upgrade 都提示 0 upgraded  删除重新安装clinfo 也是一样报错

请问下问题在哪啊？