0002baf188
Updates the port to the latest Isabelle release. It does not seem worth the effort to continually patch the bash script files to make them work under sh, hence the large number of removed files. PR: ports/126067 Submitted by: Timothy Bourke <timbob@bigpond.com>
9 lines
619 B
Text
9 lines
619 B
Text
MD5 (Isabelle2008.tar.gz) = 4ebd3288458b6a87979b211bf8fe3e15
|
|
SHA256 (Isabelle2008.tar.gz) = 27c963524992d88af57184a19ede96325bd8c117bd29d86664d25183dfffc140
|
|
SIZE (Isabelle2008.tar.gz) = 7932744
|
|
MD5 (Isabelle2008_library.tar.gz) = feff661e1b5e7279f3dedb9924e03973
|
|
SHA256 (Isabelle2008_library.tar.gz) = a5b6d8d22b004b14e94ef8fa16de272b669888a4847f512dbb7874b531612aba
|
|
SIZE (Isabelle2008_library.tar.gz) = 37598185
|
|
MD5 (Isabelle2008_pdf.tar.gz) = e52b6f445b06a4a0b7c90d703196c37d
|
|
SHA256 (Isabelle2008_pdf.tar.gz) = 71b98cb7ae0e5a2d9645e16d2f1f274cc5626ffade96d248ac48529329c79bf7
|
|
SIZE (Isabelle2008_pdf.tar.gz) = 5214045
|