You should then download the public key [`612DEFB798507F25`](https://keys.openpgp.org/search?q=612DEFB798507F25) to verify the packages, with the command:
You should then download the public key [`612DEFB798507F25`](https://keys.openpgp.org/search?q=612DEFB798507F25) to verify the packages, with the command: