guix-patches
[Top][All Lists]
Advanced

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

bug#35870: [PATCH] gnu: coq-equations: Update to 1.2.


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!

Attachment: signature.asc
Description: PGP signature


reply via email to

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