{"push_id":951035344,"size":1,"distinct_size":1,"ref":"refs/heads/parametric","head":"c55e83dd331d48ca09678949fca3637992291cfb","before":"346eafbd932d1e5db385f4e7d9aa57c29304378e","commits":[{"sha":"c55e83dd331d48ca09678949fca3637992291cfb","author":{"email":"d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr","name":"Pierre-Marie Pédrot"},"message":"Tentative external definition for boxed terms","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq-forcing/commits/c55e83dd331d48ca09678949fca3637992291cfb"}]}