{"shas":[["8bb74fdb8c1baeaf9a2246d445ec4f34a251199c","916bb8f3c4a56661ec6362c303524dcc6d177263@csail.mit.edu","concise, though limited","Muralidaran Vijayaraghavan"]],"repo":"vmurali/StructuralSpec","actor":"vmurali","ref":"refs/heads/master","size":1,"head":"8bb74fdb8c1baeaf9a2246d445ec4f34a251199c","actor_gravatar":"51fd3e145ebf6a66a326d61987398e84","push_id":26640818}