SHA512 (userguide.html.tgz) = baa16d8f06a666e77ef45aaf7708e877710bfcb8fc0fb519bc70c54619c45def2d2ab4feaa0f1a1875b2a2270e8907551b63582da1b4beaa5b50f013a41d7ab9
SHA512 (swipl-8.2.1_repackaged.tar.gz) = 644e59dcf69fc69155ae1ba21cf9b04eca2454d3602687be5d1c24aaaa151a41da97556c44f52ff0bc96e8ed5f4b8970c34e28d4591f55caa93e8cbcfd192987