actually fix coq 8.6

Julien LepillerThu Nov 29 18:36:52+0100 2018

3284404

guix-more/more
namelast commitdate
packages/actually fix coq 8.6Thu Nov 29 18:36:52+0100 2018