SHA512 (userguide.html.tgz) = baa16d8f06a666e77ef45aaf7708e877710bfcb8fc0fb519bc70c54619c45def2d2ab4feaa0f1a1875b2a2270e8907551b63582da1b4beaa5b50f013a41d7ab9
SHA512 (swipl-8.4.3_repackaged.tar.gz) = 66ac0f7d682d0af07af32a8e4d4d123844f5d3c3acda16c45f07fb24e12965edf1291776c3e1a7ae7e5dbb32980b458e71f42c5b23d8d4cbfb65078dcf42b736
