[Top][All Lists]

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

[bug#34299] [PATCH] gnu: Add coq-autosubst

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?

reply via email to

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