|
From: | Marius Bakke |
Subject: | bug#35870: [PATCH] gnu: coq-equations: Update to 1.2. |
Date: | Sun, 26 May 2019 10:23:40 +0200 |
User-agent: | Notmuch/0.28.4 (https://notmuchmail.org) Emacs/26.2 (x86_64-pc-linux-gnu) |
Pushed in 414f545ee6f541d3b46839663b01f048fe812b76, thanks!
signature.asc
Description: PGP signature
[Prev in Thread] | Current Thread | [Next in Thread] |