games/ptools/distinfo

   1 SHA256 (ptools11.zip) = e27d7ebf2e353d25899d9cd5bd9521669372c37196c867cb5864a590bed3d413
   2 SIZE (ptools11.zip) = 113657
   3 SHA256 (pmars08s.zip) = b61f949cd4ce6285c4c10cf0ff194e600dec0c14ace75effda8617df8bfa121d
   4 SIZE (pmars08s.zip) = 170874
   5 SHA256 (p3-2.pl) = b0d9234372d83ab23c05049221c1f48ab2b6ed0cc007fd62ff9aed2f00f642c0
   6 SIZE (p3-2.pl) = 3653
   7 SHA256 (corestep.c) = 5573ec059c658abe9ce0fb920111cd1f1ba2da9afcbc4252cddc1a5cfc1a4502
   8 SIZE (corestep.c) = 11401