mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-30 10:38:37 +00:00
7 lines
319 B
Plaintext
7 lines
319 B
Plaintext
MD5 (Isabelle2005.tar.gz) = b40a7eff0c9897753f80ffad976b6d2e
|
|
SIZE (Isabelle2005.tar.gz) = 6168654
|
|
MD5 (Isabelle2005_library.tar.gz) = 69ddee5572768865f132ccc38980a6e9
|
|
SIZE (Isabelle2005_library.tar.gz) = 29778664
|
|
MD5 (Isabelle2005_pdf.tar.gz) = ba3a1faa32d585e1d9d21e411452907b
|
|
SIZE (Isabelle2005_pdf.tar.gz) = 4628889
|