Add := to the dependencies to Coq.

Signed-off-by: OGINO Masanori <masanori.ogino@gmail.com>