diff options
Diffstat (limited to 'academic/Isabelle/Isabelle.info')
-rw-r--r-- | academic/Isabelle/Isabelle.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/academic/Isabelle/Isabelle.info b/academic/Isabelle/Isabelle.info new file mode 100644 index 0000000000..effbc710fb --- /dev/null +++ b/academic/Isabelle/Isabelle.info @@ -0,0 +1,10 @@ +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" |