SHA512 (userguide.html.tgz) = baa16d8f06a666e77ef45aaf7708e877710bfcb8fc0fb519bc70c54619c45def2d2ab4feaa0f1a1875b2a2270e8907551b63582da1b4beaa5b50f013a41d7ab9
SHA512 (swipl-9.2.0_repackaged.tar.gz) = e268ee2f6465aaac65263aaaf9d1ef7cf4b77fd8ebbe7975ca8a4bbc0aacdab7e0fcf9177f1de68a8bee4e951fb7d205a79229bd1e9dfe0b04f885c6d4f46ad0