|
| From: | Brett Gilio |
| Subject: | bug#38965: [PATCH 00/12] gnu: coq: Update to 8.10.2. |
| Date: | Mon, 06 Jan 2020 21:15:00 -0600 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Pushed to master with corrections. Closing. :) -- Brett M. Gilio GNU Guix, Contributor | GNU Project, Webmaster [DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE] <address@hidden> <address@hidden>
| [Prev in Thread] | Current Thread | [Next in Thread] |