{"push_id":979905720,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8cc8dca2dd819ecfe4ffdfa371131dab50fb3e97","before":"518263e4d5b9903571ea9a4cae5848a6117573fe","commits":[{"sha":"8cc8dca2dd819ecfe4ffdfa371131dab50fb3e97","author":{"email":"e792a3753d9a02701cd15c5bace05b0eccfd8b19@pik-potsdam.de","name":"Nicola Botta"},"message":"Porting to Idris 0.10.","distinct":true,"url":"https://api.github.com/repos/nicolabotta/SeqDecProbs/commits/8cc8dca2dd819ecfe4ffdfa371131dab50fb3e97"}]}