00:16:18
Apr 09, 2020
Makefile.coq:334: recipe for target 'all' failedmake[1]: *** [all] Error 2Makefile:6: recipe for target 'all' failedmake: *** [all] Error 2real 0m45.083suser 1m20.268ssys 0m4.080sERROR: Job failed: exit code 1