SHA512 (userguide.html.tgz) = baa16d8f06a666e77ef45aaf7708e877710bfcb8fc0fb519bc70c54619c45def2d2ab4feaa0f1a1875b2a2270e8907551b63582da1b4beaa5b50f013a41d7ab9
SHA512 (swipl-9.2.4_repackaged.tar.gz) = b0de421011c117e6ccb85212398f7cb84c3f1d8e97986c5d05ac6d31d0375c32c410d5cc73749a0f727a27f36284345cb96472a69dac9d1eaffc85b38678c268