Subject: Re: [bug#34466] [PATCH] gnu: Add coq-equations.
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Wed, 13 Feb 2019 22:22:54 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed as ec23bae682ab144179fad8d5ed6c2545d85384ad, thank you!