test-suite/success/Nsatz.v | 2 2 + 0 - 0 !
1 file changed, 2 insertions(+)

 test-suite/success/nsatz.v: comment out ceva

This lemma uses too much memory for many buildds...

test-suite/Makefile | 4 4 + 0 - 0 !
1 file changed, 4 insertions(+)

 disable micromega tests on hurd

They exert lockf, which is not implemented on Hurd.