Add coq-8.6 and opam2

Julien LepillerFri Oct 05 17:36:08+0200 2018

40604bb

guix-more/more
namelast commitdate
packages/Add coq-8.6 and opam2Fri Oct 05 17:36:08+0200 2018