[bug#43325] [PATCH] gnu: Update coq and its dependents

guix-patches

From:	Robin Green
Subject:	[bug#43325] [PATCH] gnu: Update coq and its dependents
Date:	Sun, 13 Sep 2020 15:43:28 +0100
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.11.0

Updated patch, fixing a test that I mistakenly removed in the previousversion.

Current Thread

[Next in Thread]

[bug#43325] [PATCH] gnu: Update coq and its dependents, Robin Green, 2020/09/11
- [bug#43325] [PATCH] gnu: Update coq and its dependents, Robin Green <=
  - bug#43325: [PATCH] gnu: Update coq and its dependents, Julien Lepiller, 2020/09/13