SHA512 (userguide.html.tgz) = baa16d8f06a666e77ef45aaf7708e877710bfcb8fc0fb519bc70c54619c45def2d2ab4feaa0f1a1875b2a2270e8907551b63582da1b4beaa5b50f013a41d7ab9
SHA512 (swipl-8.4.0_repackaged.tar.gz) = 1725fc4078aa9de9619643a890ea267d6e5f17d03cec7083d81aacd3b97534bb15fac0c5822ddab87e5e8ffd5af1848e9b0865056a9897cc10f9a6cf8a58a9ba