SHA512 (userguide.html.tgz) = baa16d8f06a666e77ef45aaf7708e877710bfcb8fc0fb519bc70c54619c45def2d2ab4feaa0f1a1875b2a2270e8907551b63582da1b4beaa5b50f013a41d7ab9
SHA512 (swipl-7.6.1_repackaged.tar.gz) = 245900fdd148ac5c434bb6e8f546cf14ec449ac9b2807b4f4e7761a7c612c2307cb2242425637a73dd88918717371b1423fad5e71eff437ed136743bba6a73b4
SHA512 (SWI-Prolog-7.6.1.pdf) = 98179a3325a83beb32f46cd8643b124d6de74908e03aef323a23572e99203b2d766f4c56721a40013b9dbf5f97e72610776f966adb128c0e11861b3c668d1b9a