a3b5102
SHA512 (userguide.html.tgz) = baa16d8f06a666e77ef45aaf7708e877710bfcb8fc0fb519bc70c54619c45def2d2ab4feaa0f1a1875b2a2270e8907551b63582da1b4beaa5b50f013a41d7ab9
f20c8b6
SHA512 (swipl-7.6.4_repackaged.tar.gz) = 98631ac6f2be8834cd24a0617cd03d9fcdf65d22411c823e0c7017abec5233c269441cb055fa126e0a67d0e3d5d4a0c3562fa23cc89129d36ee98f9f99bba022
f20c8b6
SHA512 (SWI-Prolog-7.6.4.pdf) = 027099fcf05d9f60c47e6ecf6e73d902416d5c97566f922da4edf013a2da8d138505ec10913e2f7188c8446c913a2a58b6f21d5c72ac7ab09e6c37ac40ac9837