The requested URL /ubuntu-archive/pool/universe/w/why/libwhy-coq_2.40-3build1_all.deb was not found on this server.