00:10:42
Apr 25, 2019
00:09:46
Makefile.coq:319: recipe for target 'all' failedmake[1]: *** [all] Error 2Makefile:6: recipe for target 'all' failedmake: *** [all] Error 2real 0m12.545suser 0m15.932ssys 0m1.656sERROR: Job failed: exit code 1