SHA1 (patch-compiler_utils_Platform.hs) = be8dab6220da56be1a8d585fb92d1c7cef462f63
SHA1 (patch-configure.ac) = d6049344dc3baeee30eedb6bdae06622ab5f70d2
SHA1 (patch-libraries_integer-gmp_configure.ac) = 1f8565310363614d0c6b4856041777655067ecdd
SHA1 (patch-rts_ghc.mk) = 16f48b8f69c07357bec4ea3ab0ae40869768fc54
SHA1 (patch-compiler_utils_Platform.hs) = be8dab6220da56be1a8d585fb92d1c7cef462f63
SHA1 (patch-configure.ac) = d6049344dc3baeee30eedb6bdae06622ab5f70d2
SHA1 (patch-libraries_integer-gmp_configure.ac) = 1f8565310363614d0c6b4856041777655067ecdd
SHA1 (patch-rts_ghc.mk) = 16f48b8f69c07357bec4ea3ab0ae40869768fc54