SHA512 (swipl-10.0.2_repackaged.tar.gz) = 1e52aca77536593d7a99866bbd3374ba4d815b0a216ea53d9a59bff53c1280d514ced7fda97c41135e10c06ac163933023a4c23ccd21f53a8a172e755fd20190
