{"push_id":654388918,"size":2,"distinct_size":2,"ref":"refs/heads/svn_head","head":"8d8ed152ed6c7c8b9905b4b704f9e862e83b1027","before":"29e67b677f9074d808ce10b4cad5e3000f42281f","commits":[{"sha":"5e6f4c8ec2eb0157089c9cc278dd8fe980def166","author":{"email":"a9c4140f500793e31fd3330b42ae73ad368b64d4@35697150-7ecd-e111-bb59-0022644237b5","name":"olgeni"},"message":"Restore rebar dependency.\n\nSubmitted by:\tmat\nPointy hat to:\tolgeni\n\n\ngit-svn-id: svn+ssh://svn.freebsd.org/ports/head@385494 35697150-7ecd-e111-bb59-0022644237b5","distinct":true,"url":"https://api.github.com/repos/freebsd/freebsd-ports/commits/5e6f4c8ec2eb0157089c9cc278dd8fe980def166"},{"sha":"8d8ed152ed6c7c8b9905b4b704f9e862e83b1027","author":{"email":"93439dd42ccb629b9c9ae9f8c3f0643f544d9574@35697150-7ecd-e111-bb59-0022644237b5","name":"jbeich"},"message":"math/cryptominisat, math/py-cryptominisat: add new ports\n\nCryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT\nsolver, featuring over 100 configurable parameters to tune to specific\nneed, collection of statistical data to MySQL database + javascript-based\nvisualization of it and clean C++ and python interfaces.\n\nWWW: http://www.msoos.org/cryptominisat4/\n\nPR:\t\t199929\nSubmitted by:\t6yearold@gmail.com (based on)\n\n\ngit-svn-id: svn+ssh://svn.freebsd.org/ports/head@385495 35697150-7ecd-e111-bb59-0022644237b5","distinct":true,"url":"https://api.github.com/repos/freebsd/freebsd-ports/commits/8d8ed152ed6c7c8b9905b4b704f9e862e83b1027"}]}