Remove pushed coq update

LEPILLER JulienMon Oct 23 09:28:54+0200 2017

d9c00ad

guix-more/more
namelast commitdate
packages/Remove pushed coq updateMon Oct 23 09:28:54+0200 2017