E: Unable to locate package yices2
Closed this issue · 3 comments
abc767234318 commented
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 commented
What version of Ubuntu?
abc767234318 commented
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 commented
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.