E: Unable to locate package yices2

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

368 stars 46 forks source link

E: Unable to locate package yices2 #408

Open abc767234318 opened 1 year ago

abc767234318 commented 1 year ago

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 1 year ago

What version of Ubuntu?

abc767234318 commented 1 year ago

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 1 year ago

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.