{"push_id":1018909368,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5d491d077b87fa303d9a49146f2bc3aa76dfb66b","before":"2310f7304fb8223c1f539dcfbf499c13b30d52cd","commits":[{"sha":"5d491d077b87fa303d9a49146f2bc3aa76dfb66b","author":{"email":"6d78a6e43c48687507300ba5e8f2c056f96f5b2e@gmail.com","name":"cwtsteven"},"message":"added dependency graph","distinct":true,"url":"https://api.github.com/repos/cwtsteven/Parsing-Regular-Expressions-in-Agda/commits/5d491d077b87fa303d9a49146f2bc3aa76dfb66b"}]}