|
From: | Julien Lepiller |
Subject: | [bug#34299] [PATCH] gnu: Add coq-autosubst |
Date: | Thu, 07 Feb 2019 14:53:21 +0100 |
User-agent: | Roundcube Webmail/1.3.8 |
Le 2019-02-07 14:46, Dan Frumin a écrit :
Hi Julien!So, why this commit and this branch in particular? It seems that there are some releases on github, and we tend to prefer using a released version of packages.This is the latest commit in the branch that compiles with the latest version of Coq. Unfortunately the files on the "releases" page are outdated.Please remove these comments :)We now use (invoke ...) instead of (zero? (system* ...)).Thanks, I've updated it!
Thanks! I'll take a look at your package definition and push later today.
By the way, I did not subscribe to the guix-pactches. Is there a way to receive email on this particular issue from the bug tracker, without subscribing to the mailing list in full?
I don't think there is, unfortunately. I usually reply to the sender as well as to the bug tracker though. Did I forget it in my previous reply?
[Prev in Thread] | Current Thread | [Next in Thread] |