Update coq libraries

Julien LepillerFri Jun 02 13:36:35+0200 2017

12b1e19

guix-more/more
namelast commitdate
packages/Update coq librariesFri Jun 02 13:36:35+0200 2017