SHA512 (userguide.html.tgz) = baa16d8f06a666e77ef45aaf7708e877710bfcb8fc0fb519bc70c54619c45def2d2ab4feaa0f1a1875b2a2270e8907551b63582da1b4beaa5b50f013a41d7ab9
SHA512 (swipl-8.2.4_repackaged.tar.gz) = c6d7a4173df7504d24f53f5a2c914fb49f2c608ca56d799a6dcb3fcafb3d260177addd820517fdfd628d43df0bfd675c9de0cc9f59dfdb4f8c245dfe389d2524