{"push_id":757035837,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"8305722a236ec655a72b6966f5f0b77ba728659d","before":"66dbddb6c9d8c47e3565cc241466b0c8aca3e648","commits":[{"sha":"8305722a236ec655a72b6966f5f0b77ba728659d","author":{"email":"2b9d56475662d6caa1747a3e28b137cf7ea3db05@gmail.com","name":"Ralf Sasse"},"message":"stack forced to use cabal-install 1.22.0.0","distinct":true,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/8305722a236ec655a72b6966f5f0b77ba728659d"}]}