{"push_id":873559237,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0eb998426c4e7f0ec6a0bdd1b3880368d9bbb542","before":"420c3af8f4b18acdd7d899caa61b898dca2e9ab8","commits":[{"sha":"0eb998426c4e7f0ec6a0bdd1b3880368d9bbb542","author":{"email":"5ee0edb9e2229c0838f1959779f1949031de0123@cs.uni-potsdam.de","name":"Tim Richter"},"message":"added NonNegRational3, first attempt to use SplitQuotient. No Num instance of Rational, why?","distinct":true,"url":"https://api.github.com/repos/nicolabotta/SeqDecProbs/commits/0eb998426c4e7f0ec6a0bdd1b3880368d9bbb542"}]}