We have updated the GPG public key used for signing the Debian packages for Linux.

If you encounter the error "NO_PUBKEY BD151425C7DBB13F" when running `apt update`, please update the public key.

If you do not update the key, future updates of OpenRTM-aist via `apt upgrade` will fail.

Running the following script will automatically update the public key.

Ubuntu

 $ bash <(curl -s https://raw.githubusercontent.com/OpenRTM/OpenRTM-aist/master/scripts/openrtm2_install_ubuntu.sh)

Raspberry Pi OS

 $ bash <(curl -s https://raw.githubusercontent.com/OpenRTM/OpenRTM-aist/master/scripts/openrtm2_install_raspbian.sh)