Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

E: Unable to locate package yices2 #408

Open
abc767234318 opened this issue Sep 20, 2022 · 3 comments
Open

E: Unable to locate package yices2 #408

abc767234318 opened this issue Sep 20, 2022 · 3 comments

Comments

@abc767234318
Copy link

I run the following command in Ubuntu.

sudo add-apt-repository ppa:sri-csl/formal-methods
sudo apt-get update
sudo apt-get install yices2

but output following:

Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package yices2
@ianamason
Copy link
Member

What version of Ubuntu?
@abc767234318
Copy link
Author

What version of Ubuntu?

ubuntu@VM-24-16-ubuntu:~$ lsb_release -a
No LSB modules are available.
Distributor ID:	Ubuntu
Description:	Ubuntu 20.04.4 LTS
Release:	20.04
Codename:	focal
@ianamason
Copy link
Member

Yes it looks like we didn't do Focal. I just clicked the appropriate buttons on launchpad, so hopefully the packages
will appear sometime soon. Sorry for the delay.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants
@ianamason @abc767234318