$NetBSD$

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