fix coq with ocaml 4.06

Julien LepillerMon Jun 25 18:18:55+0200 2018

094e453

guix-more/more
namelast commitdate
packages/fix coq with ocaml 4.06Mon Jun 25 18:18:55+0200 2018