{"head":"9425b0cbedd03c171292984e01cb47f7982528b3","size":1,"push_id":45557029,"shas":[["9425b0cbedd03c171292984e01cb47f7982528b3","dcdadbfc9c9c7d32b6c64ca24a36990eb53d9991@galois.com","cabal: add source repo and description fields","Jonathan Daugherty"]],"ref":"refs/heads/master"}