You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi.
when I try the instruction for debian installation I get a warning and an error. The warnig is because the trust mechanism has changed a bit in debian. The error seems to be because the server is not responding anymore.
More info: https://launchpad.net/~sri-csl/+archive/ubuntu/formal-methods
Press [ENTER] to continue or ctrl-c to cancel adding it
gpg: keybox '/tmp/tmpvjf41uq9/pubring.gpg' created
gpg: /tmp/tmpvjf41uq9/trustdb.gpg: trustdb created
gpg: key FA8E1301F4D3932C: public key "Launchpad PPA for SRI-CSL" imported
gpg: Total number processed: 1
gpg: imported: 1
Warning: apt-key is deprecated. Manage keyring files in trusted.gpg.d instead (see apt-key(8)).
gpg: no valid OpenPGP data found.
Exception in thread Thread-1:
Traceback (most recent call last):
File "/usr/lib/python3.9/threading.py", line 954, in _bootstrap_inner
self.run()
File "/usr/lib/python3.9/threading.py", line 892, in run
self._target(*self._args, **self._kwargs)
File "/usr/lib/python3/dist-packages/softwareproperties/SoftwareProperties.py", line 688, in addkey_func
func(**kwargs)
File "/usr/lib/python3/dist-packages/softwareproperties/ppa.py", line 386, in add_key
return apsk.add_ppa_signing_key()
File "/usr/lib/python3/dist-packages/softwareproperties/ppa.py", line 273, in add_ppa_signing_key
cleanup(tmp_keyring_dir)
File "/usr/lib/python3/dist-packages/softwareproperties/ppa.py", line 234, in cleanup
shutil.rmtree(tmp_keyring_dir)
File "/usr/lib/python3.9/shutil.py", line 718, in rmtree
_rmtree_safe_fd(fd, path, onerror)
File "/usr/lib/python3.9/shutil.py", line 675, in _rmtree_safe_fd
onerror(os.unlink, fullname, sys.exc_info())
File "/usr/lib/python3.9/shutil.py", line 673, in _rmtree_safe_fd
os.unlink(entry.name, dir_fd=topfd)
FileNotFoundError: [Errno 2] No such file or directory: 'S.gpg-agent.browser'
and then
sudo apt update
gives
...
Err:9 http://ppa.launchpad.net/sri-csl/formal-methods/ubuntu jammy Release
404 Not Found [IP: 91.189.95.85 80
The text was updated successfully, but these errors were encountered:
Hi.
when I try the instruction for debian installation I get a warning and an error. The warnig is because the trust mechanism has changed a bit in debian. The error seems to be because the server is not responding anymore.
Best regards
gives
and then
gives
The text was updated successfully, but these errors were encountered: