Ros-core2-client issue

Hi Baptiste,

Can I ask you to add new GPG key (using this manual) and execute these commands in terminal:

sudo apt update
sudo apt dist-upgrade

It should resolve your problem.

Best regards,
Hubert