$NetBSD$

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
