distinfo

TIMESTAMP = 1614812825
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
SHA256 (c810c96b1ce5d3692e93439f76c4fa7d3daf9fbb.patch) = 150cc0c725dc73b3404eff704055a641c6175b230d3c3d740ea617d2b44e7552
SIZE (c810c96b1ce5d3692e93439f76c4fa7d3daf9fbb.patch) = 940
SHA256 (bb1efcd8c4bf5d8d6c079a1b7704c51ea958bf06.patch) = fe8620826dc0e78d20c46493f17ec17067cf6ea399680ac99e0826a06c50ea86
SIZE (bb1efcd8c4bf5d8d6c079a1b7704c51ea958bf06.patch) = 1366
SHA256 (3b86d0dabc371d5976c5dafef0fc7f6c5f92640b.patch) = 20b69c28be015dea2826f66cab7079b30768d23af9b1d30d91bb6137e3c22227
SIZE (3b86d0dabc371d5976c5dafef0fc7f6c5f92640b.patch) = 665