$NetBSD: distinfo,v 1.2 2013/09/21 15:51:50 jihbed Exp $

SHA1 (picosat-957.tar.gz) = 8d99711eb7864cd0292702aa70be7dbf530a1b3d
RMD160 (picosat-957.tar.gz) = 0f0c5cb7960b3f0d1719fd5194349dc96ac72f99
Size (picosat-957.tar.gz) = 63329 bytes
