7 lines
392 B
Text
7 lines
392 B
Text
$NetBSD: distinfo,v 1.3 2014/01/09 14:38:33 jperkin Exp $
|
|
|
|
SHA1 (minisat-2.2.0.tar.gz) = dfc25898bf40e00cf04252a42176e0c0600fbc90
|
|
RMD160 (minisat-2.2.0.tar.gz) = 169ec9116befa9067db9076d26309f7e9ab408dd
|
|
Size (minisat-2.2.0.tar.gz) = 43879 bytes
|
|
SHA1 (patch-core_SolverTypes.h) = 969937eaaaac60b5e2b415ce3282797daacc4890
|
|
SHA1 (patch-utils_System.cc) = b24990458c2abb9fca014ddccd27220a49ea7799
|