mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-26 00:55:14 +00:00
6b71027429
PR: ports/149736 Submitted by: Timothy Beyer (maintainer)
5 lines
292 B
Plaintext
5 lines
292 B
Plaintext
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
|