DELTA 412348 78410 97 SVNf])27WOM(5.0.04RI=1 -DENABLE_PYTHON_INTERFACE=OFFENDREP DELTA 405351 483 178 SVN&=?==TIMESTAMP = 1469882294 SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910 SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712 ENDREP DELTA 385495 1473 335 SVN>A%$s://github.com/msoos/cryptominisat/ ENDREP DELTA 405351 1378 142 SVN~fWUU5 bin/cryptominisat5_simple include/cryptominisat5/cryptominisat.h include/cryptominisat5/solvertypesmini.h lib/cmake/cryptominisat5/cryptominisat5Config.cmake lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/cryptominisat5/cryptominisat5Targets.cmake lib/libcryptominisat5.so lib/libcryptominisat5.so.5.0 ENDREP DELTA 412348 104487 22 SVNoT2^7qMS5.0.05REINPLACE_CMD} -e 's|@PROJECT_VERSION@|${PORTVERSION}|' ${WRKSRC}/setup.py.inENDREP DELTA 405351 483 178 SVN&=?==TIMESTAMP = 1469896511 SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910 SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712 ENDREP DELTA 405351 2051 543 SVN' I"Hr5STWx^uR]k0}ׯvjd[͆GIJ“ * [e'k:?X=G{{ɽ̃`>!b*x ppn~yVR,2HҕByϚӡEȥ7$$z-