GitHub PushEvent at 2014-03-05 15:15:15
Repository: coq
Actor: letouzey
Payload: {"shas":[["a07deb4eac1d5f886159784ef5d8d006892be547","bfeba92d1cc768c8167b9993c6e2d82bae3fbaa3@fettunta.org","Fix (3243): univ constraints of module subtyping were not propagated\n\nUniverse constraints coming from subtyping were not propagated\nto the outermost module and hence not stocked in the .vo file.\nStill, they were added to the interactive safe environment and\nhence checked for satisfiability.","Enrico Tassi",true]],"size":1,"ref":"refs/heads/v8.4","head":"a07deb4eac1d5f886159784ef5d8d006892be547"}