a3b510
SHA512 (userguide.html.tgz) = baa16d8f06a666e77ef45aaf7708e877710bfcb8fc0fb519bc70c54619c45def2d2ab4feaa0f1a1875b2a2270e8907551b63582da1b4beaa5b50f013a41d7ab9
5c4f9a
SHA512 (swipl-8.0.3_repackaged.tar.gz) = d3060d1f2ec4a1988a2dcace524ab7f17fdc1a89feac5239521d74a5168537ad9c7afbd8b942e691a4741379e71a06ded37fe89992919e57bb8846d14a4a7e7b