update coq and compcert

Julien LepillerFri May 04 13:37:49+0200 2018

b434301

guix-more/more
namelast commitdate
packages/update coq and compcertFri May 04 13:37:49+0200 2018