$NetBSD: distinfo,v 1.1 2015/08/14 23:11:53 jihbed Exp $
SHA1 (why3-0.86.1.tar.gz) = 1bafb106947b01ad3a2ce6e225453050a582cf87
RMD160 (why3-0.86.1.tar.gz) = 57023a4d809f5783a7bea3fc956f962869fbebf3
Size (why3-0.86.1.tar.gz) = 6939963 bytes