yices2 icon indicating copy to clipboard operation
yices2 copied to clipboard

Published 20 hours ago • verified publisher icon SRI-CSL

E: Unable to locate package yices2

Open abc767234318 opened this issue 1 year ago • 3 comments

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

abc767234318 avatar Sep 20 '22 10:09 abc767234318

What version of Ubuntu?

ianamason avatar Sep 21 '22 01:09 ianamason

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

abc767234318 avatar Sep 21 '22 01:09 abc767234318

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.

ianamason avatar Sep 21 '22 22:09 ianamason