Removed merged packages and update coq

Julien LepillerWed Jun 07 10:26:46+0200 2017

03b878c

guix-more/more
namelast commitdate
packages/Removed merged packages and update coqWed Jun 07 10:26:46+0200 2017