[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations.
From: |
Danny Milosavljevic |
Subject: |
[bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations. |
Date: |
Wed, 13 Feb 2019 14:23:23 +0100 |
On Wed, 13 Feb 2019 13:45:43 +0100
Julien Lepiller <address@hidden> wrote:
> Ah, thanks for the info! So I guess we don't need to end any phase with
> #t
> in that package definition, correct?
Correct.
pgpJVznr63fQb.pgp
Description: OpenPGP digital signature
bug#34466: [PATCH] gnu: Add coq-equations., Julien Lepiller, 2019/02/13