New coq

Julien LepillerTue Mar 12 17:32:41+0100 2019

52f7e16

guix-more/more
namelast commitdate
packages/New coqTue Mar 12 17:32:41+0100 2019