$NetBSD$

BLAKE2s (gecode-6.2.0.tar.gz) = 6993deaaeef6cab23d356f0709e21b7456399f997abdf39a6e81f59e859c6442
SHA512 (gecode-6.2.0.tar.gz) = a763127ba786df86b33f4be1b25226f51bd5d059ea336912e7bd3ec5c54c2fed93f2e5a662793688723495193a42204c0db440b19de8614414ebbe5d2d2d51ed
Size (gecode-6.2.0.tar.gz) = 3672525 bytes
SHA1 (patch-gecode_search_cpprofiler_connector.hpp) = acdeb0104b134d3209aec2884ef8f3e1775e2081
