TIMESTAMP = 1566709177
SHA256 (Gecode-gecode-release-6.2.0_GH0.tar.gz) = 27d91721a690db1e96fa9bb97cec0d73a937e9dc8062c3327f8a4ccb08e951fd
SIZE (Gecode-gecode-release-6.2.0_GH0.tar.gz) = 3672525
SHA256 (f08079c5df271869bc7c0799b3eccc52ca2f4d83.patch) = 945e522a7204324ba9740a76fc3a3806f670932e6dd57629ff041afedd5eb70d
SIZE (f08079c5df271869bc7c0799b3eccc52ca2f4d83.patch) = 2005