fix coq 8.6

Julien LepillerThu Nov 29 18:17:08+0100 2018

6330dde

guix-more/more
namelast commitdate
packages/fix coq 8.6Thu Nov 29 18:17:08+0100 2018