mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-28 10:08:24 +00:00
10 lines
619 B
Plaintext
10 lines
619 B
Plaintext
MD5 (Isabelle2009.tar.gz) = 2b7a8d49bfba64aac7227d692c15c27b
|
|
SHA256 (Isabelle2009.tar.gz) = 49f8708962a89102cd25d9b5b7bf1298017c0689f9ced7741c124351b58f8e71
|
|
SIZE (Isabelle2009.tar.gz) = 9073615
|
|
MD5 (Isabelle2009_library.tar.gz) = 8ffcb7a25a4d110dd9060d7fbb582fc6
|
|
SHA256 (Isabelle2009_library.tar.gz) = db605638e4c66ed74069a4370cb6be776901e6ada6dfdd5104536379dbd0beef
|
|
SIZE (Isabelle2009_library.tar.gz) = 44856488
|
|
MD5 (Isabelle2009_pdf.tar.gz) = 3e964988a4cb70d1589a8c89f1e3eac7
|
|
SHA256 (Isabelle2009_pdf.tar.gz) = 0e451cabf1ece51cd989531dce14136b62c4138ace9bc618a1bd71d1c984ed70
|
|
SIZE (Isabelle2009_pdf.tar.gz) = 5757069
|