Bug#985436: libstarpu-dev: broken symlink: /usr/lib/x86_64-linux-gnu/libstarpurm-1.3.so -> libstarpurm-1.3.so.1.0.1

[Andreas Beckmann]

Followup-For: Bug #985436

Hi Samuel,

the same problem exists in src:starpu-contrib.


Andreas