Ubuntu installation guide fails

[CIPop]

❯ ls
litani-1.29.0.deb  ubuntu-22.04-cbmc-6.0.0-Linux.deb

❯ sudo apt install python3 python3-pip *cbmc*.deb *litani*.deb universal-ctags
Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
E: Unable to locate package ubuntu-22.04-cbmc-6.0.0-Linux.deb
E: Couldn't find any package by glob 'ubuntu-22.04-cbmc-6.0.0-Linux.deb'
E: Unable to locate package litani-1.29.0.deb
E: Couldn't find any package by glob 'litani-1.29.0.deb'

According to the guide: https://model-checking.github.io/cbmc-training/installation.html