SHA256 (gecode-3.7.2.tar.gz) = 838cb0e7eb6884a3a4b4aad7f07ea9c96482de952c85da270f47360dc3ded1c3
SIZE (gecode-3.7.2.tar.gz) = 1642455
