Summary of changes: e018021... - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_M (*) 50aea54... Rebuild for why3 0.84. Fix license handling. (*) 62155a0... Adapt to why3 0.84. (*) 5298e18... Merge branch 'f21' (*) This commit already existed in another branch; no separate mail sent