Add coq libraries

Julien LepillerThu Jun 01 18:17:40+0200 2017

05eb710

guix-more/more
namelast commitdate
packages/Add coq librariesThu Jun 01 18:17:40+0200 2017