MD5 (AI-Prolog-0.739.tar.gz) = d6256ffb43209aadaccef1c590a39ef8
SHA256 (AI-Prolog-0.739.tar.gz) = f5e1e9c6e23d2bbc76fefc292d64653951af8551b5b26d24e63ddc019f9eeee4
SIZE (AI-Prolog-0.739.tar.gz) = 69954