[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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 previous version.

Attachment: 0001-gnu-Update-coq-and-its-dependents.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]