SHA512 (userguide.html.tgz) = baa16d8f06a666e77ef45aaf7708e877710bfcb8fc0fb519bc70c54619c45def2d2ab4feaa0f1a1875b2a2270e8907551b63582da1b4beaa5b50f013a41d7ab9
SHA512 (swipl-8.2.2_repackaged.tar.gz) = 63736e8e245dedc3e177084d1d3e89ce41adcb3c079701b502ae867d762c638f4eb363e658641a8ca97badcf43e40290251481d40a7bd677e9a5dfb784be6943