{"push_id":565908780,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"e79870a3001aeeee51fa7194bac260468d0e3f41","before":"e9e9bfde61f3a27cdacd859473521aa6230bb8c0","commits":[{"sha":"b43d29e15fa07bbdd091d82c423be0bf9fb39dd3","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"update post-processing for liquid-fixpoint and liquidhaskell.\n\nliquid-fixpoint needs the -fbuild-external flag to force building the\nocaml binary locally instead of using a precompiled binary (not\nguaranteed to work in nixos AFAIK)","distinct":true,"url":"https://api.github.com/repos/NixOS/cabal2nix/commits/b43d29e15fa07bbdd091d82c423be0bf9fb39dd3"},{"sha":"e79870a3001aeeee51fa7194bac260468d0e3f41","author":{"email":"069f3482a520afbcd7b153a86384843e1937be01@cryp.to","name":"Peter Simons"},"message":"Merge pull request #143 from gridaphobe/master\n\nupdate post-processing for liquid-fixpoint and liquidhaskell","distinct":true,"url":"https://api.github.com/repos/NixOS/cabal2nix/commits/e79870a3001aeeee51fa7194bac260468d0e3f41"}]}