{"push_id":667976074,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"549ec0e305ec6dc7ad8f6e17b062ac9f210a5ae0","before":"7dd929141977205d50baa7b1429ba7dd7f58e7cd","commits":[{"sha":"549ec0e305ec6dc7ad8f6e17b062ac9f210a5ae0","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"List.apply should be Scala-executable. Fix leon.math not being @library","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/549ec0e305ec6dc7ad8f6e17b062ac9f210a5ae0"}]}