Add gnu/package/coq.scm

Julien LepillerSat Jan 12 00:00:22+0100 2019

eb5d838

guix-more/more
namelast commitdate
packages/Add gnu/package/coq.scmSat Jan 12 00:00:22+0100 2019