Subject: Re: [bug#34466] [PATCH] gnu: Add coq-equations.

From: Julien Lepiller <[email-masked]>
Date: Wed, 13 Feb 2019 22:22:54 +0100

Pushed as ec23bae682ab144179fad8d5ed6c2545d85384ad, thank you!