PRGNAM="Isabelle" VERSION="2022" HOMEPAGE="https://isabelle.in.tum.de/" DOWNLOAD="UNSUPPORTED" MD5SUM="" DOWNLOAD_x86_64="https://isabelle.in.tum.de/dist/Isabelle2022_linux.tar.gz" MD5SUM_x86_64="52340538b76b0493beae0a444d623fe6" REQUIRES="" MAINTAINER="Lockywolf" EMAIL="for_sbo.Isabelle_2023-07-17@lockywolf.net"