4 lines
292 B
Text
4 lines
292 B
Text
SHA256 (Isabelle2009-2.tar.gz) = f92a275b78bd8844de47a5902e339b58f3b768c07a7fb19d8e606b68499d5ac4
|
|
SIZE (Isabelle2009-2.tar.gz) = 25193255
|
|
SHA256 (Isabelle2009-2_library.tar.gz) = 1cf4cc438185146367938308e01be2f29b793d6c343299aa697def9a098e63aa
|
|
SIZE (Isabelle2009-2_library.tar.gz) = 54438382
|