./zenon-0.7.1.tar.xz already exists, skipping download
./zenlpar07.pdf already exists, skipping download
Getting http://focal.inria.fr/zenon/zenon-0.7.1.tar.xz to ./zenon-0.7.1.tar.xz
Getting http://focal.inria.fr/zenon/zenlpar07.pdf to ./zenlpar07.pdf