{"push_id":658429461,"size":1,"distinct_size":1,"ref":"refs/heads/agda","head":"9f07762f54e1e28c4a362fd572170321bc23b412","before":"75e250a83a215ce14cfc37a1cd808eb479623185","commits":[{"sha":"9f07762f54e1e28c4a362fd572170321bc23b412","author":{"email":"6993088a67279e0846693c8e8178f26c91edfea7@Yahoo.com","name":"John Ericson"},"message":"agda: Wrapper is no longer built by default\n\nInstead it is provided to the user who can choose whether or not\nto include it in the final derivation. Example of including would\nbe:\n\n```nix\n  callPackage ... (self: { inherit (self.extras) extraThing; })\n```\n\nThese extras are also available downstream without being built by\ndefault. This is achieved with `passthru`.","distinct":true,"url":"https://api.github.com/repos/Ericson2314/nixpkgs/commits/9f07762f54e1e28c4a362fd572170321bc23b412"}]}