MD5 (gprolog/gprolog_1.2.18.orig.tar.gz) = 66fed53a60729bd9a27749255bfa97f7 SIZE (gprolog/gprolog_1.2.18.orig.tar.gz) = 895657 MD5 (gprolog/manual.pdf.gz) = 58be1c21e4cf292e4de1ce321c9af6fa SIZE (gprolog/manual.pdf.gz) = 699732 MD5 (gprolog/manual-html.tar.gz) = 209bb02c57361569483bab1dc02714ec SIZE (gprolog/manual-html.tar.gz) = 158556