Update libcoq

2 jobs for coq in 1 minute and 30 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Lint
passed #695
lint

00:00:38

 
  Test
passed #696
test

00:00:51